A foundation for synthetic algebraic geometry
Journal article, 2024
cohomology
homotopy type theory
Algebraic geometry
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. 34 9 1008-1053Subject Categories (SSIF 2011)
Algebra and Logic
Geometry
DOI
10.1017/S0960129524000239