In this lecture I introduce a first notion of homotopy between morphisms, called left homotopy, based on an abstract version of the construction of a cylinder on a topological space.  I show moreover that left homotopy is preserved under postcomposition by any morphism.