Weak factorizations, fractions and homotopies (Q2487462)

Let \(\mathcal{ K}\) be a category with finite coproducts and \((\mathcal{ L}, \mathcal{ R})\) a weak factorization system such that every morphism in \(\mathcal{ R}\) is a splitting epimorphism. It is proved that the category of fractions \(\mathcal{ K}[\mathcal{ R}^{-1}]\) is isomorphic to \(\mathcal{ K}/\sim\), and this is a locally small category (\(\sim\) is a homotopy relation which is induced by a cylinder object attached to \((\mathcal{ L}, \mathcal{ R})\)).