Definition 1.4.11 (Anima). An \(\infty \)-category \(C\) is called an anima, or an \(\infty \)-groupoid, if every morphism in \(C\) is invertible.
Generated from the authoritative LaTeX source.
Definition 1.4.11 (Anima). An \(\infty \)-category \(C\) is called an anima, or an \(\infty \)-groupoid, if every morphism in \(C\) is invertible.
Generated from the authoritative LaTeX source.