English

$\omega$-weak equivalences between weak $\omega$-categories

Category Theory 2025-08-22 v3

Abstract

We study ω\omega-weak equivalences between weak ω\omega-categories in the sense of Batanin-Leinster. Our ω\omega-weak equivalences are strict ω\omega-functors satisfying essential surjectivity in every dimension, and when restricted to those between strict ω\omega-categories, they coincide with the weak equivalences in the model category of strict ω\omega-categories defined by Lafont, M\'etayer, and Worytkiewicz. We show that the class of ω\omega-weak equivalences has the 2-out-of-3 property. We also consider a generalisation of ω\omega-weak equivalences, defined as weak ω\omega-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!

R2 v1 2026-06-28T17:11:34.683Z