higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Anders Kock, §I.12 in: Synthetic Differential Geometry, Cambridge University Press (1981, 2006) [pdf, doi:10.1017/CBO9780511550812]
Ingo Blechschmidt, Using the internal language of toposes in algebraic geometry, PhD thesis (2017) [pdf, pdf]
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]
Synthetic Algebraic Geometry in the Zariski-Topos (Github)
Last revised on June 14, 2025 at 18:21:41. See the history of this page for a list of all contributions to it.