ゼミの風景

おそらくお気楽はしのすけゼミの諸風景

Top | ゼミ2016卒 | ゼミ2015卒 | ゼミ2014卒 | イベント | About

和音のトポス(3年ゼミ)

f:id:okiraku894:20150306144141j:plainf:id:okiraku894:20150306155324j:plainf:id:okiraku894:20150306155338j:plain
和音のトポス,といいながらすっかり圏論.
前回の米田の補題の残りのあと,Sheaves in Geometry and Logicへ.
とはいえコピーを渡したのがつい先日なのでちょっと進めただけ.
まずは層をCategoryの言葉で定義するところから.
ここをちゃんと見ておかないと,アッという間にGrothendieckが
何を言い出したのか分からなくなる.

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)