This lecture introduces the concept of quasicategories and explains how a homotopy category can be constructed from them. It covers the definition of quasicategories, objects, morphisms, composition, and homotopy relations. The lecture also proves that the relation on morphisms in a quasicategory is an equivalence relation, and demonstrates the existence of compositions and their properties in the context of homotopy categories.