まきずし @Makizushi_pi
京大で数学専攻するM2。pointless topologyをはじめとして位相的意味論、圏論、formal topology、Zariski空間論等に興味があります。 Topology via Logic読めるようになりたい_(:3」∠)_
-
第八回関西すうがく徒のつどい ルール追加編
5225pv 6 -
alg_d「公理追加型数学」
21430pv 18 -
ぴあのん『続・闇空間Rの性質』@第8回関西すうがく徒のつどい #kansaimath
10946pv 30 2 users