和音のトポス，といいながらもうすっかり音楽は無くなってトポスのゼミ．
同じ底空間をもつファイバー空間が成す圏がトポスとなることの証明．
terminal objectとpullbackを持ち，Cartesian closedであること，
そしてsubobject classifierをもつこと．これらを順番に構成していった．
その後，Lawvere-Tierney topologyの理解に向けて，
位相空間の開核作用素による定式化を見た．
それをcategoryの言葉で言い換えたいのだが，ここでつまずく．
∩というmorphismでお互い混乱中...
