Holmstrom Retract argument

In any category, if f=pif = p \circ i and ff has the LLP wrt pp, then ff is a retract of ii. Dually, if ff has the RLP wrt ii, then ff is a retract of pp.

This implies that a map is a cofib (trivial cofib) iff it has the LLP wrt all trivial fibs (fibs), and the dual statement.

nLab page on Retract argument

Created on June 9, 2014 at 21:16:13 by Andreas Holmström