nineties / topos-theory

トポス理論

トポス理論(Topos theory)の勉強ノートです。 以下のURLにデプロイしています。

https://nineties.github.io/topos-theory