429
订阅者
无数据24 小时
-37 天
-430 天
帖子存档
429
MF asks me about realizability topos while being at HoTT 2023 Conference and says he is a BEGINNER
429
Are you interested in realizability topos? Are you studying categorical logic? What about higher category theory? Categorical modal logic? Could you please continue speaking?
429
главная загадка этого канала – кто-то (кто?) периодически накручивает клоунов на постах (нахуя?), продолжай
