Eilenberg-MacLane spaces and stabilisation in homotopy type theory

DOI10.1007/S40062-023-00330-5arXiv2301.03685OpenAlexW4386934634MaRDI QIDQ6074861

David Wärn

Publication date: 19 October 2023

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.03685

zbMATH Keywords

stabilisationloop spaceshomotopy type theory

Mathematics Subject Classification ID

Loop spaces (55P35) General logic (03Bxx)

Cites Work

• The tame symbol
• The geometry of iterated loop spaces
• Eilenberg-MacLane spaces in homotopy type theory
• Higher Groups in Homotopy Type Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• The Hurewicz theorem in homotopy type theory

This page was built for publication: Eilenberg-MacLane spaces and stabilisation in homotopy type theory