nLab David Wärn

• personal page

• institute page

Selected writings

• David Wärn, On internally projective sheaves of groups (arXiv:2409.12835)

On delooping in homotopy type theory and application to Eilenberg-MacLane space types and Steenrod operations:

• David Wärn, Eilenberg-MacLane spaces and stabilisation in homotopy type theory, J. Homotopy Relat. Struct. 18 (2023) 357–368 [arXiv:2301.03685, doi:10.1007/s40062-023-00330-5]

On projective spaces in synthetic algebraic geometry:

• Felix Cherubini, Thierry Coquand, Matthias Hutzler, David Wärn: Projective Space in Synthetic Algebraic Geometry [arxiv:2405.13916]

On the universal fibration of (infinity,1)-categories:

• Christian Sattler, David Wärn: A synthetic construction of universal cocartesian fibrations [arXiv:2603.28688]

category: people