Weak equivalences between weak omega-categories
Soichiro Fujii – 1 November 2023
Leinster defined weak omega-categories based on an earlier definition by Batanin. We define weak equivalences between weak omega-categories (in the sense of Leinster) as essentially surjective strict omega-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