Projective Space in Synthetic Algebraic Geometry

Felix Cherubini, Thierry Coquand, Matthias Ritter +1

Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of thes…