ゼミの風景

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

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

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

f:id:okiraku894:20150309132913j:plain
f:id:okiraku894:20150309132921j:plain
f:id:okiraku894:20150309164431j:plain
f:id:okiraku894:20150309164440j:plain
和音のトポスにかこつけた圏論ゼミ.Sheaves in Geometry and Logicを進める.
前回Equalizerによって圏論的に特徴づけられたSheaf.
Sheafの構成の仕方あれこれとしてSubfunctorによるもの,
Sheafのfunctorの貼り合せによるもの,の二つを見た.
Sheafが集合値であるおかげで示される部分と,Categoricalに扱う部分とが入り乱れて,
なかなか難儀した.気付いたら開始から4時間が経っていた.
何にしても,Diagram chaseingに早く慣れよう!

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

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