Holmstrom Fibrant replacement

Similar to the Cofibrant replacement, for any object XX there is a fibrant object RXRX with a trivial cofibration XRXX \to RX.

http://ncatlab.org/nlab/show/Kan+fibrant+replacement

nLab page on Fibrant replacement

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