Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Unifying left and right homotopy: The homotopy relation

In course

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous examples of model categories and their applications in ...

Description

This lecture demonstrates that left homotopic morphisms with cofibrant domain are also right homotopic, and vice versa, leading to the equivalence of right and left homotopy for morphisms between bifibrant objects. The concept of homotopy equivalence between bifibrant objects is then introduced, along with the relation between left and right homotopy. The lecture covers propositions regarding cofibrant and fibrant objects, as well as the definition of homotopy classes of morphisms. Additionally, it explores the well-defined map between homotopy classes of morphisms and the notion of homotopy equivalence. The Whitehead Lemma is presented as a concluding topic.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (17)

Homotopy

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from ὁμός "same, similar" and τόπος "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (həˈmɒtəpiː, ; ˈhoʊmoʊˌtoʊpiː, ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces.

Homotopy group

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space. To define the n-th homotopy group, the base-point-preserving maps from an n-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes.

Model category

In mathematics, particularly in homotopy theory, a model category is a with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations' satisfying certain axioms relating them. These abstract from the category of topological spaces or of chain complexes ( theory). The concept was introduced by . In recent decades, the language of model categories has been used in some parts of algebraic K-theory and algebraic geometry, where homotopy-theoretic approaches led to deep results.

Homotopy theory

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and (specifically the study of ). In homotopy theory and algebraic topology, the word "space" denotes a topological space.

Homotopy category

In mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.

Related lectures (33)

Serre model structure: Left and right homotopy

Explores the Serre model structure, focusing on left and right homotopy equivalences.

Elementary Properties of Model Categories

Covers the elementary properties of model categories, emphasizing the duality between fibrations and cofibrations.

Serre model structure on Top

Explores the Serre model structure on Top, focusing on right and left homotopy.

Homotopy Category of a Model Category

Introduces the homotopy category of a model category with inverted weak equivalences and unique homotopy equivalences.

The Whitehead Lemma: Homotopy Equivalence in Model Categories