Homotopy equivalence of normalized and unnormalized complexes, revisited
We consider the unnormalized and normalized complexes of a simplicial or a cosimplicial object coming from the Dold-Kan correspondence for an idempotent complete additive category (kernels and cokernels are not required). The normalized complex is defined as the image of certain idempotent in the un...
Збережено в:
| Дата: | 2022 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Lugansk National Taras Shevchenko University
2022
|
| Теми: | |
| Онлайн доступ: | https://admjournal.luguniv.edu.ua/index.php/adm/article/view/1879 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Algebra and Discrete Mathematics |
Репозитарії
Algebra and Discrete Mathematics| Резюме: | We consider the unnormalized and normalized complexes of a simplicial or a cosimplicial object coming from the Dold-Kan correspondence for an idempotent complete additive category (kernels and cokernels are not required). The normalized complex is defined as the image of certain idempotent in the unnormalized complex. We prove that this idempotent is homotopic to identity via homotopy which is expressed via faces and degeneracies. Hence, the normalized and unnormalized complex are homotopy isomorphic to each other. We provide explicit formulae for the homotopy. |
|---|