Observation 17.1.2. Every morphism \(f\colon X \to Y\) satisfying \(f \perp f\) is an isomorphism in \(C\): the unique dashed filler in the following diagram defines an inverse to \(f\):
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Observation 17.1.2
Observation 17.1.2. Every morphism \(f\colon X \to Y\) satisfying \(f \perp f\) is an isomorphism in \(C\): the unique dashed filler in the following diagram defines an inverse to \(f\):
Generated from the authoritative LaTeX source.