429
Obunachilar
Ma'lumot yo'q24 soatlar
-37 kun
-430 kun
Postlar arxiv
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
главная загадка этого канала – кто-то (кто?) периодически накручивает клоунов на постах (нахуя?), продолжай
