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

Lecture

Sets of Left Homotopy Classes: 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 focuses on sets of left homotopy equivalence classes of morphisms in the context of model categories. The instructor demonstrates how acyclic fibrations induce isomorphisms on sets of homotopy classes and provides conditions under which composition preserves left homotopy. The lecture covers the notation and terminology related to left homotopy classes, the well-defined composition map, and the injectivity and surjectivity of certain functions. Strategies for constructing homotopies and proving left homotopy relations are discussed in detail.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (28)

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

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 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.

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.

Related lectures (33)

Elementary Properties of Model Categories

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

The Whitehead Lemma: Homotopy Equivalence in Model Categories

Explores the Whitehead Lemma, showing when a morphism is a weak equivalence.

Homotopy Theory: Cylinders and Path Objects

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

Homotopy Category of a Model Category

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

Serre model structure on Top