Proposition 1.5.6 (Isomorphisms form a subcategory of arrows). For every \(\infty \)-category \(C\), the functor \[ \pi _{\Iso }\colon \Iso (C) \to \Ar (C) \] is a monomorphism.
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Proposition 1.5.6
Proposition 1.5.6 (Isomorphisms form a subcategory of arrows). For every \(\infty \)-category \(C\), the functor \[ \pi _{\Iso }\colon \Iso (C) \to \Ar (C) \] is a monomorphism.
Generated from the authoritative LaTeX source.