Weakly invertible cells in a weak $\omega$-category

Soichiro Fujii, Keisuke Hoshino, Yuki Maehara

We study weakly invertible cells in weak $\omega$-categories in the sense of Batanin-Leinster, adopting the coinductive definition of weak invertibility. We show that weakly invertible…