429
Subscribers
No data24 hours
-37 days
-430 days
Posts Archive
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
главная загадка этого канала – кто-то (кто?) периодически накручивает клоунов на постах (нахуя?), продолжай
