和音のトポス（３年ゼミ）

3年ゼミは一人だけ毎週水曜ということに．
相変わらず今手元にあるものがどこの世界の住人なのか混乱しつつ，
それでもそろそろこちらも小慣れてきたのか，Object classifierの行っていること，
toposを使ってNollが行おうとしていることが若干見えてきた．
ゼミ後に気になってLawvere-Tierney topologyを調べた．
そっか，intによる位相の定義のアナロジーなんだ．

おや，何か弾いてはる↑