まきずし
@Makizushi_pi
京大で数学専攻するM2。pointless topologyをはじめとして位相的意味論、圏論、formal topology、Zariski空間論等に興味があります。 Topology via Logic読めるようになりたい_(:3」∠)_
該当するまとめがありません。