Let be morphisms in a model category. A left homotopy from to is a map for some cylinder object for such that and . Here and are the obvious maps. Say and 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