和音のトポス，といいながらすっかり圏論．
前回の米田の補題の残りのあと，Sheaves in Geometry and Logicへ．
とはいえコピーを渡したのがつい先日なのでちょっと進めただけ．
まずは層をCategoryの言葉で定義するところから．
ここをちゃんと見ておかないと，アッという間にGrothendieckが
何を言い出したのか分からなくなる．
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
- 作者: Saunders MacLane,Ieke Moerdijk
- 出版社/メーカー: Springer
- 発売日: 1994/11/01
- メディア: ペーパーバック
- クリック: 6回
- この商品を含むブログ (3件) を見る
