A model for the coherent walking $\omega$-equivalence
Category Theory
2024-04-24 v1 Algebraic Topology
Abstract
We prove that a certain -category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking -equivalence. Further, appropriate truncations of it give models for the fully coherent walking -equivalence for each .
Cite
@article{arxiv.2404.14509,
title = {A model for the coherent walking $\omega$-equivalence},
author = {Amar Hadzihasanovic and Félix Loubaton and Viktoriya Ozornova and Martina Rovelli},
journal= {arXiv preprint arXiv:2404.14509},
year = {2024}
}
Comments
20 pages, comments are welcome!