索引 #
- $\Lambda$ と $\Gamma$ の随伴関係(定理5.17)
- $\mathcal{C}^\mathbf{0}, \mathcal{C}^\mathbf{1}$(例2.25)
- Grothendieck位相(定義6.6)
- Grothendieck前位相(定義6.10)
- Grothendieck前位相の生成する位相(命題6.11)
- presieve(定義6.1)
- イコライザ・コイコライザ(定義2.42)
- ブール代数(定義4.26)
- エタールバンドル(定義5.11)
- エピ射(定義2.10)
- カバレッジ(定義6.12)
- カバレッジの生成するGrothendieck位相(定理6.13)
- カルテシアン閉圏(定義3.29)
- スライスカテゴリ(定義5.13)
- ド・モルガンの法則(命題4.23)
- トポス理論的不変量(定義1.1)
- ハイティング代数(定義4.21)
- バンドルの断面(定義5.5)
- バンドルの断面の層(定義5.6)
- フレーム(定義4.25)
- モノ射(定義2.9)
- モノ射の順序関係(定義4.1)
- 位相空間の開被覆から導出されるGrothendieck位相(命題6.20)
- 位相空間上の前層(定義5.1)
- 位相空間上の層(イコライザ利用)(定義5.3)
- 位相空間上の層(切断利用)(定義5.2)
- 位相空間上の層(連続性利用)(定義5.4)
- 引き戻し(定義4.4)
- 引き戻し・押し出し(定義2.43)
- 完備性(定義2.44)
- 関手(定義2.15)
- 関手 $\Gamma$ (定義5.14)
- 関手 $\Lambda$(定義5.15)
- 関手圏(定義2.24)
- 関手圏の極限の点別計算定理(定理2.48)
- 共変Hom関手(定義3.1)
- 極限(定義2.40)
- 極限に関する随伴(命題3.34)
- 極限の存在定理(定理2.45)
- 極限関手(定義3.33)
- 景(定義6.7)
- 圏(定義2.1)
- 圏の同型(定義2.29)
- 圏の同値(定義2.30)
- 原子位相(定義6.18)
- 合成篩を用いたGrothendieck位相の定義(定義6.9)
- 最小の被覆篩を持つGrothendieck位相(定義6.22)
- 指数関手(定義3.35)
- 指数対象(定義3.20)
- 指数対象に関する随伴(命題3.36)
- 自然変換(定義2.23)
- 自明な位相(定義6.16)
- 射圏(例2.26)
- 終対象・始対象(定義2.32)
- 初等トポス(定義4.13)
- 小圏のなす圏(定義2.16)
- 図式としての関手(定義2.19)
- 錐(定義2.38)
- 錐の圏(定義2.39)
- 随伴(定義3.31)
- 積(定義2.34)
- 積・余積(定義2.41)
- 積圏(定義2.5)
- 前層(定義4.14)
- 前層の芽と茎(定義5.7)
- 前層の芽のバンドル(定義5.10)
- 前層の圏(例2.27)
- 双対圏(定義2.7)
- 双対原理(定理2.8)
- 対角関手(定義2.28)
- 忠実・充満・本質的全射(定義2.20)
- 定数関手(定義2.18)
- 同型(定義2.3)
- 反変Hom関手(定義3.2)
- 反変関手(定義2.17)
- 標準位相(定義6.21)
- 表現可能関手(定義3.3)
- 普遍要素(定義3.15)
- 普遍要素・普遍的構成(命題3.16)
- 部分圏(定義2.6)
- 部分層(定義5.24)
- 部分対象(定義4.2)
- 部分対象関手(定義4.10)
- 部分対象分類子(定義4.8)
- 分配圏(定義3.25)
- 米田の原理(命題3.10)
- 米田の補題(定理3.8)
- 米田埋め込み(定義3.7)
- 摩天楼層(定義5.22)
- 余積(定義2.36)
- 要素の圏(定義3.19)
- 連続関手(定義2.47)
- 稠密位相(定義6.17)
- 稠密性定理(定理3.18)
- 篩(ふるい)(定義6.2)
- 篩の別定義(定義4.17)