Lecture

Fubini's Rule for Pushouts

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In course

MATH-497: Topology IV.b - homotopy theory

We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspensions. We study long exact sequences. We construct Eilen ...

Description

This lecture delves into the proof of the Fubini Rule for pushouts, demonstrating how to compare two pushout diagrams by turning all maps into cofibrations and establishing equivalence. The instructor explains the process step by step, emphasizing the importance of homotopy extension properties and the construction of pushouts. Through various examples and diagrams, the lecture showcases how to apply the Fubini Rule to obtain homotopy pushouts and highlights the significance of transforming diagrams to ensure the resulting pushouts maintain their properties.

Instructor

Jérôme Scherer

Teaching & PhD PhD Students Virgile Simon Constantin Past EPFL PhD Students Samuel Lavenir Past EPFL PhD Students as codirector Kay Remo Werndli, Lyne Moser Courses Topology IV.a - Cohomology rings MATH-506 Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative algebra. We study an algebraic version, namely group cohomology, and compare both approa

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (31)

Cofibration

In mathematics, in particular homotopy theory, a continuous mapping between topological spaces is a cofibration if it has the homotopy extension property with respect to all topological spaces . That is, is a cofibration if for each topological space , and for any continuous maps and with , for any homotopy from to , there is a continuous map and a homotopy from to such that for all and . (Here, denotes the unit interval .

Homotopy lifting property

In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property (also known as an instance of the right lifting property or the covering homotopy axiom) is a technical condition on a continuous function from a topological space E to another one, B. It is designed to support the picture of E "above" B by allowing a homotopy taking place in B to be moved "upstairs" to E. For example, a covering map has a property of unique local lifting of paths to a given sheet; the uniqueness is because the fibers of a covering map are discrete spaces.

Homotopy extension property

In mathematics, in the area of algebraic topology, the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space. The homotopy extension property of cofibrations is dual to the homotopy lifting property that is used to define fibrations. Let be a topological space, and let . We say that the pair has the homotopy extension property if, given a homotopy and a map such that then there exists an extension of to a homotopy such that .

Homotopy colimit and limit

In mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of and colimit extended to the homotopy category . The main idea is this: if we have a diagramconsidered as an object in the , (where the homotopy equivalence of diagrams is considered pointwise), then the homotopy limit and colimits then correspond to the and coconewhich are objects in the homotopy category , where is the category with one object and one morphism.

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.

Related lectures (64)

Elementary Properties of Model Categories

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

Homotopy Theory: Cylinders and Path Objects

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

Serre model structure: Left and right homotopy

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

Homotopic Extension Problem

Explores solving the homotopic extension problem, constructing relative CW complexes, and ensuring uniqueness in CW approximations.

Group Actions: Quotients and Homomorphisms