Invertible cells in $\omega$-categories

Thibaut Benjamin, Ioannis Markakis

We study coinductive invertibility of cells in weak $\omega$-categories. We use the inductive presentation of weak $\omega$-categories via an adjunction with the category of computads, and s…