A foundation for synthetic algebraic geometry
Journal article, 2024
Algebraic geometry
homotopy type theory
cohomology
Author
Felix Cherubini
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
University of Gothenburg
Thierry Coquand
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Matthias Hutzler
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. In PressSubject Categories
Algebra and Logic
Geometry
DOI
10.1017/S0960129524000239