An \(\omega\)-category with all duals is an \(\omega\)-groupoid (Q2463395)

The definition of \(m\)-equivalence in a weak \(n\)-category involves only the compositions and units as operations and not the associativity, unital, interchange constraints involving them. The author defines an \(\omega \)-precategory to be a globular set with, for all \(k\geq 0\),\ \ an identity in dimension \(k+1\) for each \(k\)-cell and a composition for \(k\)-composible \((k+1)\)-cells.\ \ For \(n<\omega \) there is an inductive top-down definition of \(m\)-equivalence. The author supplies a bottom-up definition of pseudo-invertibility which works even in an \(\omega \)-precategory; an \(\omega \)-pregroupoid is an \(\omega \)-precategory in which all cells of non-zero dimension are pseudo-invertible. The paper shows more than the title states which, in fact, allows her to avoid coherence requirements on duals: the right kind of dual will certainly be a predual in the author's sense. The theorem is that any \(\omega \)-precategory with all preduals is an \(\omega \)-pregroupoid. Note here that \(\omega \) cannot be replaced by finite \(n\). The paper concludes with remarks on higher tangles, homotopy groupoids, and cobordism.