Holmstrom Left homotopy

Let f,g:B→Xf,g: B \to X be morphisms in a model category. A left homotopy from ff to gg is a map H:B′→XH: B' \to X for some cylinder object B′B' for BB such that H∘i 0=fH \circ i_0 = f and H∘i 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