homotopy theory C.1. Lifting properties, weak factorization systems, and Leibniz closure C.1.1. Lemma. Any class of maps characterized by a right lifting property is closed under composition, product, pullback, retract, and limits of towers; see Lemma C.1.1. Proof. For now see [17, 11.1.4] and dualize. On account of the dual of Lemma C.1.1, any set of maps in a cocomplete category “cellularly g...