$\omega$-weak equivalences between weak $\omega$-categories
Category Theory
2025-08-22 v3
Abstract
We study -weak equivalences between weak -categories in the sense of Batanin-Leinster. Our -weak equivalences are strict -functors satisfying essential surjectivity in every dimension, and when restricted to those between strict -categories, they coincide with the weak equivalences in the model category of strict -categories defined by Lafont, M\'etayer, and Worytkiewicz. We show that the class of -weak equivalences has the 2-out-of-3 property. We also consider a generalisation of -weak equivalences, defined as weak -functors (in the sense of Garner) satisfying essential surjectivity, and show that this class also has the 2-out-of-3 property.
Keywords
Cite
@article{arxiv.2406.13240,
title = {$\omega$-weak equivalences between weak $\omega$-categories},
author = {Soichiro Fujii and Keisuke Hoshino and Yuki Maehara},
journal= {arXiv preprint arXiv:2406.13240},
year = {2025}
}
Comments
33 pages. Major revision. Comments welcome!