Ep 20: Left homotopy as an equivalence relation, Chapter 2(b): The homotopy relation in a model category

views comments

One of the crucial properties of the homotopy relation on continuous maps is that it is an equivalence relation. In this lecture, I prove that the left homotopy relation is always reflexive and symmetric and that it is also transitive if the codomain is fibrant.