Teaching

Virtual Course

Mathematical Structuralism a la Grothendieck

This is a course aiming at all mathematics and computer science students, covering some parts of modern mathematics from a logical, synthetic structural point of view. It starts with some category theory as the language of mathematical structuralism. Then, it moves to point-free topology and its higher-order versions, Grothendieck toposes and higher toposes to finally reach synthetic functorial geometry and abstract homotopy theory.

Utrecht University

  • Logic and Computation, for Master Students in AI, (together with R. Iemhoff, R. Jalali), Winter 2021. Lecture notes

  • Logic and Computation, for Master Students in AI, (together with R. Iemhoff), Fall 2019.

University of Tehran

  • Homotopy Type Theory, January - March 2020
  • Geometry via Logic II, January-March 2020
  • Geometry via Logic, January-March 2019, [On point-free topology and its higher version, i.e., Grothendieck toposes], References
  • Category Theory, A Preliminary Course, January 2019
  • Topos Theory, November-December 2018 [On topos theory from the algebraic set theory perspective]
  • Proof Theory of Arithmetic, August-September 2018
  • Martin Lof Type Theory, December 2017-January 2018

Charles University, Prague

  • Bounded Arithmetic and Computational Complexity, Student Logic Seminar, Fall 2015