Eilenberg-MacLane spaces and stabilisation in homotopy type theory
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909574309609472 |
|---|---|
| author | Wärn, David |
| author_facet | Wärn, David |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2301_03685 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Eilenberg-MacLane spaces and stabilisation in homotopy type theory Wärn, David Algebraic Topology Logic in Computer Science 55U35 (Primary) 03B38 (Secondary) 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. |
| title | Eilenberg-MacLane spaces and stabilisation in homotopy type theory |
| topic | Algebraic Topology Logic in Computer Science 55U35 (Primary) 03B38 (Secondary) |
| url | https://arxiv.org/abs/2301.03685 |