こんにちは。今回は圏論の基礎概念をおおざっぱに書きたいと思います。前回の記事はこちらから
圏論には大きく分けると次の3つのパートがあると思われます。
第I部: 圏・CCC・トポス
第II部: 関手・自然変換・イクィバレンス・米田の補題
第III部: 随伴・モナド
今回は第I部の圏について書きたいと思います。
- 第I部: Categories
- 圏(Categories)の定義と例
- 圏の特別な概念
- 特別な対象(objects)
- 終対象(Terminal ojbects) ・始対象(Initial objects)
- 積(Products)・双対積(Coproducts)
- イクアライザー(Equalizers)・コイクアライザー (Coequalizers)
- プルバック(Pullbacks)・コプルバック(Copullbacks)
- 特別な射(arrows)
- 同型(Isomorphisms)・セクション(Sections)・リトラクション(Retractions)
- モノ(Mononorphisms)・エピ(Epimorphisms)・バイモルフィズム(Bimorphisms)
- 特別な圏
- CCC(Cartesian Closed Categories)
- トポス(Toposes)
続きを読む