higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
synthetic$\;$ algebraic geometry
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 (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]
Last revised on October 28, 2023 at 08:54:18. See the history of this page for a list of all contributions to it.