Steve Awodey の Category Theory を読む - 俺の Colimit を越えてゆけはじめに 前回の記事では、圏論を学習する上では数学の基礎から学習する必要があると述べました。 一方で、そんなに時間をかけていられない、かけられないといった理由から数学の素養が十分に身についていない状態で Category Theory (Oxford Logic Guides) を読み始めたいという人もいるでしょう。そのような人向けにこの本の副読本のような内容の記事を書いていこうと思います。 この本は十分にわかりやすい本なので解説の部分で内容を追加するようなことはしません。書籍の中で証明はされているけれども十分に明らかとは言えない箇所や、残りは読者に任せるとして省略されている箇所を中心に証明を追加していこうと思います。特に Chapter 1 では数学書を読む場合に自分で手を動かして補いながら読まないといけない箇所がどういう箇所なのか初学者にもわかるように書いていこうと思います。 この記事
