索引 #
- $\mathcal{C}^\mathbf{0}, \mathcal{C}^\mathbf{1}$(例2.24)
- イコライザ・コイコライザ(定義2.41)
- ブール代数(定義3.28)
- エピ射(定義2.9)
- カルテシアン閉圏(定義2.72)
- ド・モルガンの法則(命題3.26)
- トポス理論的不変量(定義1.1)
- ハイティング代数(定義3.24)
- モノ射(定義2.8)
- モノ射の順序関係(定義3.1)
- 引き戻し(定義3.4)
- 引き戻し・押し出し(定義2.42)
- 完備性(定義2.43)
- 関手(定義2.14)
- 関手圏(定義2.23)
- 関手圏の極限は点別計算可能定理(定理3.16)
- 共変Hom関手(定義2.47)
- 極限(定義2.39)
- 極限に関する随伴(命題2.77)
- 極限の存在定理(定理2.44)
- 極限関手(定義2.76)
- 圏(定義2.1)
- 圏の同型(定義2.27)
- 圏の同値(定義2.28)
- 指数関手(定義2.78)
- 指数対象(定義2.63)
- 指数対象に関する随伴(命題2.79)
- 自然変換(定義2.22)
- 射圏(例2.25)
- 終対象・始対象(定義2.30)
- 初等トポス(定義3.13)
- 小圏のなす圏(定義2.15)
- 図式としての関手(定義2.18)
- 錐(定義2.36)
- 錐の圏(定義2.38)
- 随伴(定義2.74)
- 積(定義2.32)
- 積・余積(定義2.40)
- 積圏(定義2.5)
- 前層(定義3.14)
- 前層の圏(例2.26)
- 双対圏(定義2.6)
- 双対原理(定理2.7)
- 対角関手(定義2.37)
- 忠実・充満・本質的全射(定義2.19)
- 定数関手(定義2.17)
- 点での評価関手(定義3.17)
- 同型(定義2.3)
- 反変Hom関手(定義2.48)
- 反変関手(定義2.16)
- 表現可能関手(定義2.49)
- 普遍要素(定義2.58)
- 普遍要素・普遍的構成(命題2.59)
- 部分対象(定義3.2)
- 部分対象関手(定義3.10)
- 部分対象分類子(定義3.8)
- 分配圏(定義2.68)
- 米田の原理(命題2.53)
- 米田の補題(定理2.51)
- 米田埋め込み(定義2.50)
- 余積(定義2.34)
- 要素の圏(定義2.62)
- 連続関手(定義2.46)
- 稠密性定理(定理2.61)
- 篩(定義3.20)