ゼミの風景

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

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

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

f:id:okiraku894:20150320155109j:plain
f:id:okiraku894:20150320161314j:plain
f:id:okiraku894:20150320163755j:plain
f:id:okiraku894:20150320172833j:plain
f:id:okiraku894:20150320172847j:plain
和音のトポスといいながら,音がちっとも出てこないゼミ.
本日,sieve登場.presheafがsheafに成るための条件を
sieveの条件に読み替えるなどの命題をいくつか見た.
途中,sheafに成るためのequalizerの役割の力点がどこなのか分からず,
単純に集合の圏での射となるための条件に過ぎないことに気付くまでに
えらく時間を使ってしまった.

まぁsieveのcategoricalな見方等々を見たかった,
と当人かつて言っていたから,このシリーズである程度納得したかな.

まだ道は長いのであった.

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

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