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

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étayer, 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.

arXiv comment33 pages. Major revision. Comments welcome!

References in corpus (7)

• Understanding the small object argument
• Algebraic weak factorisation systems I: accessible AWFS
• Algebraic weak factorisation systems II: categories of weak maps
• Homomorphisms of higher categories
• A homotopy-theoretic universal property of Leinster's operad for weak omega-categories
• Polygraphs: From Rewriting to Higher Categories
• Weakly invertible cells in a weak $\omega$-category

Cited by in corpus (1)

• Equivalences in diagrammatic sets