Homotopy theory | Algebraic topology

Fiber-homotopy equivalence

In algebraic topology, a fiber-homotopy equivalence is a map over a space B that has homotopy inverse over B (that is we require a homotopy be a map over B for each time t.) It is a relative analog of a homotopy equivalence between spaces. Given maps p: D → B, q: E → B, if ƒ: D → E is a fiber-homotopy equivalence, then for any b in B the restriction is a homotopy equivalence. If p, q are fibrations, this is always the case for homotopy equivalences by the next proposition. Proposition — Let be fibrations. Then a map over B is a homotopy equivalence if and only if it is a fiber-homotopy equivalence. (Wikipedia).

Video thumbnail

Algebraic Topology - 11.3 - Homotopy Equivalence

We sketch why that the homotopy category is a category.

From playlist Algebraic Topology

Video thumbnail

Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS

The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t

From playlist Introduction to Homotopy Theory

Video thumbnail

Homotopy animation

An interesting homotopy (in fact, an ambient isotopy) of two surfaces.

From playlist Algebraic Topology

Video thumbnail

ITHT: Part 12- Model Structure on Topological Spaces

Credits: nLab: https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Theory#TheClassicalModelStructureOfTopologicalSpaces Animation library: https://github.com/3b1b/manim​​​​​​​​​​ My own code/modified library: https://github.com/treemcgee42/youtub...

From playlist Introduction to Homotopy Theory

Video thumbnail

Stable Homotopy Seminar, 2: Fiber and Cofiber Sequences

We review some unstable homotopy theory, especially the construction of fiber and cofiber sequences of spaces, and how they induce long exact sequences on homotopy and homology/cohomology. (There's a mistake pointed out by Jeff Carlson: when I take a CW-approximation at one point, I have

From playlist Stable Homotopy Seminar

Video thumbnail

Homomorphisms in abstract algebra

In this video we add some more definition to our toolbox before we go any further in our study into group theory and abstract algebra. The definition at hand is the homomorphism. A homomorphism is a function that maps the elements for one group to another whilst maintaining their structu

From playlist Abstract algebra

Video thumbnail

Homotopy

Homotopy elements in the homotopy group π₂(S²) ≅ ℤ. Roman Gassmann and Tabea Méndez suggested some improvements to my original ideas.

From playlist Algebraic Topology

Video thumbnail

Homotopy Group - (1)Dan Licata, (2)Guillaume Brunerie, (3)Peter Lumsdaine

(1)Carnegie Mellon Univ.; Member, School of Math, (2)School of Math., IAS, (3)Dalhousie Univ.; Member, School of Math April 11, 2013 In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be des

From playlist Mathematics

Video thumbnail

Christoph Winges: Automorphisms of manifolds and the Farrell Jones conjectures

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Building on previous work of Bartels, Lück, Reich and others studying the algebraic K-theory and L-theory of discrete group rings, the validity of the Farrell-Jones Conjecture has be

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Group Homomorphisms - Abstract Algebra

A group homomorphism is a function between two groups that identifies similarities between them. This essential tool in abstract algebra lets you find two groups which are identical (but may not appear to be), only similar, or completely different from one another. Homomorphisms will be

From playlist Abstract Algebra

Video thumbnail

Stable Homotopy Seminar, 11: Stable Model Categories and Triangulated Categories

(Note: I messed up the first recording and had to re-record the first 20 minutes of this.) I show that cofiber sequences agree with fiber sequences in Spectra, or indeed in any pointed model category where suspension is invertible. The homotopy category of such a model category is a highly

From playlist Stable Homotopy Seminar

Video thumbnail

Basic Homotopy Theory by Samik Basu

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Stable Homotopy Seminar, 9: Infinite Loop Spaces, and Homotopy Colimits

The fibrant spectra are the Ω-spectra, and we can give an elegant explicit description of the fibrant replacement. The "infinite loop space" functor, which is the derived right adjoint to the suspension spectrum, is then given by taking the 0th space of an equivalent Ω-spectrum. This allow

From playlist Stable Homotopy Seminar

Video thumbnail

Lecture 17: Frobenius lifts and group rings

In this video, we "compute" TC of spherical group rings and more generally cyclotomic spectra with Frobenius lifts. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://

From playlist Topological Cyclic Homology

Video thumbnail

Christoph Winges: On the isomorphism conjecture for Waldhausen's algebraic K-theory of spaces

The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: "The Farrell-Jones conjecture" I will survey recent progress on the isomorphism conjecture for Waldhausen's "algebraic K-theory of spaces" functor, and how this relates to the original isomorp

From playlist HIM Lectures: Junior Trimester Program "Topology"

Video thumbnail

ITHT: Part 9- The Homotopy Category

Credits: nLab: https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Theory#TheHomotopyCategory Animation library: https://github.com/3b1b/manim​​​​​​​ My own code/modified library: https://github.com/treemcgee42/youtube​​​ Music: ► Artist Attribution • Music By: "KaizanBlu" • Track Nam

From playlist Introduction to Homotopy Theory

Video thumbnail

Equivalence Relations Definition and Examples

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Equivalence Relations Definition and Examples. This video starts by defining a relation, reflexive relation, symmetric relation, transitive relation, and then an equivalence relation. Several examples are given.

From playlist Abstract Algebra

Video thumbnail

Francesca Tombari (5/9/22): What's behind the homotopical decomposition of a simplicial complex

Decomposing a simplicial complex by taking a covering of its vertices does not necessarily preserves the homotopy type of the original one. Thus, there is no hope in general to retrieve the homotopy type of the Vietoris-Rips complex of a metric space, just by studying Vietoris-Rips complex

From playlist Bridging Applied and Quantitative Topology 2022

Related pages

Fibration | Algebraic topology