nLab Felix Cherubini

(previously: Felix Wellen)

• personal page

• institute page

• github page

• ResearchGate page

Selected writings

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 $G$-jet-structures in modal homotopy type theory, Mathematical Structures in Computer Science (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):

• Felix Cherubini, Egbert Rijke, Modal Descent, Mathematical Structures in Computer Science 31 4 (2021) 363-391 [doi:10.1017/S0960129520000201, arXiv:2003.09713]

On synthetic algebraic geometry:

• Felix Cherubini, Thierry Coquand, Matthias Hutzler, A Foundation for Synthetic Algebraic Geometry (2023) [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:

• Felix Cherubini, Thierry Coquand, Matthias Hutzler, David Wärn: Projective Space in Synthetic Algebraic Geometry [arxiv:2405.13916]

On synthetic Stone duality:

• Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey, A Foundation for Synthetic Stone Duality (arXiv:2412.03203)

category: people