Eilenberg-MacLane spaces and stabilisation in homotopy type theory
Journal article, 2023

In this note, we study the delooping of spaces and maps in homotopy type theory. We show that in some cases, spaces have a unique delooping, and give a simple description of the delooping in these cases. We explain why some maps, such as group homomorphisms, have a unique delooping. We discuss some applications to Eilenberg–MacLane spaces and cohomology.

Author

David Wärn

Chalmers, Computer Science and Engineering (Chalmers), Computing Science

University of Gothenburg

Journal of Homotopy and Related Structures

2193-8407 (ISSN) 1512-2891 (eISSN)

Vol. 18 357-368

Subject Categories (SSIF 2011)

Algebra and Logic

DOI

10.1007/s40062-023-00330-5

More information

Latest update

3/6/2025 4