Definition 1.4.10 (Isomorphisms). Consider a morphism \(f\colon x \to y\) in an \(\infty \)-category \(C\). We say that \(f\) is invertible, or that it is an isomorphism, if there exists a morphism \(f^{-1}\colon y \to x\) together with commutative triangles in \(C\) of the form
Generated from the authoritative LaTeX source.