Empty Name
رفتن به کانال در Telegram
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
главная загадка этого канала – кто-то (кто?) периодически накручивает клоунов на постах (нахуя?), продолжай
