Writings
Writings
tbc
A Conceptual Introduction to Homotopy Type Theory, invited talk for the course on Philosophy of Mathematics, Department of Math, Sharif University (video, in Persian) (slides, in English)
Real Continuum in Synthetic Differential Geometry, talk at math department, Sharif university. (video, in Persian)