(previously: Felix Wellen)
On synthetic mathematics in modal homotopy type theory and cohesive homotopy type theory:
Dan Licata, Felix Wellen: Synthetic Mathematics in Modal Dependent Type Theories, tutorial at Types, Homotopy Theory and Verification (2018)
Tutorial 1, Dan Licata: A Fibrational Framework for Modal Simple Type Theories (recording)
Tutorial 2, Felix Wellen: The Shape Modality in Real cohesive HoTT and Covering Spaces (recording)
Tutorial 3, Dan Licata: Discrete and Codiscrete Modalities in Cohesive HoTT (recording)
Tutorial 4, Felix Wellen, Discrete and Codiscrete Modalities in Cohesive HoTT, II (recording)
Tutorial 5, Dan Licata: A Fibrational Framework for Modal Dependent Type Theories (recording)
Tutorial 6, Felix Wellen: Differential Cohesive HoTT, (recording)
On differentially cohesive homotopy type theory for synthetic differential geometry:
Formalizing Cartan Geometry in Modal Homotopy Type Theory, PhD Thesis, Karlsruhe Institute of Technology (2017) [web, arXiv:1806.05966, HoTT-Agda code: DCHoTT-Agda]
Felix Cherubini: Synthetic -jet-structures in modal homotopy type theory, Mathematical Structures in Computer Science 34 8 (2024) 1–35 [doi:10.1017/S0960129524000355, arXiv:1806.05966]
On modal homotopy type theory (such as concerning homotopy n-types/n-truncation modality and covering spaces):
On synthetic algebraic geometry:
Felix Cherubini, Thierry Coquand, Matthias Hutzler: A foundation for synthetic algebraic geometry, Mathematical Structures in Computer Science 34 Special Issue 9: Advances in Homotopy type theory (2024) 1008-1053 [doi:10.1017/S0960129524000239, arXiv:2307.00073]
Felix Cherubini, A Foundation for Synthetic Algebraic Geometry, talk at Homotopy Type Theory Electronic Seminar Talks (Oct 2023) [slides:pdf, video:YT]
On projective spaces in synthetic algebraic geometry:
Last revised on December 5, 2025 at 16:37:03. See the history of this page for a list of all contributions to it.