Holmstrom Left homotopy

Let f,g:BXf,g: B \to X be morphisms in a model category. A left homotopy from ff to gg is a map H:BXH: B' \to X for some cylinder object BB' for BB such that Hi 0=fH \circ i_0 = f and Hi 1=gH \circ i_1 = g. Here i 0i_0 and i 1i_1 are the obvious maps. Say ff and gg are left homotopic if there exists such a thing.

nLab page on Left homotopy

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