Australian Category Seminar

Weak equivalences between weak ω-categories

Soichiro Fujii·1 November 2023

Leinster defined weak ω-categories based on an earlier definition by Batanin. We define weak equivalences between weak ω-categories (in the sense of Leinster) as essentially surjective strict ω-functors, and show that the class of weak equivalences satisfies the 2-out-of-3 property. (Joint work with Keisuke Hoshino and Yuki Maehara.)

Back