Corollary 17.1.8. Let \((\Ll ,\Rr )\) be a factorization system on \(C\). Then for every morphism \(f\) of \(C\), the fiber of \(\Fact _{\Ll ,\Rr }(C) \to \Ar (C)\) over \(f\) is contractible. □
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Corollary 17.1.8
Corollary 17.1.8. Let \((\Ll ,\Rr )\) be a factorization system on \(C\). Then for every morphism \(f\) of \(C\), the fiber of \(\Fact _{\Ll ,\Rr }(C) \to \Ar (C)\) over \(f\) is contractible. □
Generated from the authoritative LaTeX source.