Projective Space in Synthetic Algebraic Geometry

MaRDI QIDQ6729723arXivFDO

Authors Felix Cherubini, Thierry Coquand, Matthias Hutzler, David Wärn

Publication date 2024

Published in arXiv

Mathematics Subject Classification ID

Type theory (03B38) Foundations of algebraic geometry (14A99) Higher categories and homotopical algebra (18N99)

arXiv classification

math.AG

This page was built for publication: Projective Space in Synthetic Algebraic Geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6729723)