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

Lecture

Introduction to Left Homotopy: The Homotopy Relation in a Model Category

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 introduces the concept of left homotopy between morphisms, based on constructing a cylinder on a topological space. It shows that left homotopy is preserved under postcomposition by any morphism. The lecture explains the notion of a good cylinder and a very good cylinder, illustrating these concepts with examples. It also covers the existence of very good cylinders, weak equivalences, and the properties of left homotopy in a model category.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (32)

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.

Weak equivalence (homotopy theory)

In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.

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.

Spectrum (topology)

In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory,there exist spaces such that evaluating the cohomology theory in degree on a space is equivalent to computing the homotopy classes of maps to the space , that is.Note there are several different of spectra leading to many technical difficulties, but they all determine the same , known as the stable homotopy category.

Related lectures (40)

Left Homotopy as an Equivalence Relation: The Homotopy Relation in a Model Category

Explores the left homotopy relation as an equivalence relation in model categories.

Homotopy Theory: Cylinders and Path Objects

Covers cylinders, path objects, and homotopy in model categories.

Elementary Properties of Model Categories

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

Homotopy Theory of Chain Complexes

Explores the homotopy theory of chain complexes, focusing on model categories, weak equivalences, and the retraction axiom.

Homotopy Category of a Model Category