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