ゼミの風景

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

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

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

f:id:okiraku894:20150204141237j:plain
f:id:okiraku894:20150204141244j:plain
f:id:okiraku894:20150204143851j:plain
f:id:okiraku894:20150204143856j:plain
f:id:okiraku894:20150204151459j:plain
f:id:okiraku894:20150204151504j:plain
f:id:okiraku894:20150204152244j:plain
f:id:okiraku894:20150204160619j:plain

和音のトポス,といいながらもうすっかり音楽は無くなってトポスのゼミ.
同じ底空間をもつファイバー空間が成す圏がトポスとなることの証明.
terminal objectとpullbackを持ち,Cartesian closedであること,
そしてsubobject classifierをもつこと.これらを順番に構成していった.

その後,Lawvere-Tierney topologyの理解に向けて,
位相空間の開核作用素による定式化を見た.
それをcategoryの言葉で言い換えたいのだが,ここでつまずく.
∩というmorphismでお互い混乱中...