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
главная загадка этого канала – кто-то (кто?) периодически накручивает клоунов на постах (нахуя?), продолжай
