層・圏・トポス
層
層圏トポス: 前層の2つの定義の同値性その3
前層の二通りの定義とその同値性 (の一部) を見る
層圏トポス: 層の2つの定義の同値性
層の二通りの定義とその同値性を見る
層圏トポス: eval まで
層、層の間の射、直積、冪、eval
圏
米田の補題
帰納極限, 射影極限
順序圏における limit と colimit の例
対象の冪と eval 射
トポス
まだ