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, Matthias Hutzler, Hugo Moeneclaey, David Wärn: Differential Geometry of Synthetic Schemes [arXiv:2504.08495]
On projective spaces in synthetic algebraic geometry:
Last revised on May 20, 2026 at 11:03:18. See the history of this page for a list of all contributions to it.