David Wärn
Urs Schreiber
On delooping in homotopy type theory and application to Eilenberg-MacLane space types and Steenrod operations:
On projective spaces in synthetic algebraic geometry:
On the universal fibration of (infinity,1)-categories:
On synthetic algebraic geometry: