Homotopy theory | Algebraic topology
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. (Wikipedia).
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
Homotopy elements in the homotopy group π₂(S²) ≅ ℤ. Roman Gassmann and Tabea Méndez suggested some improvements to my original ideas.
From playlist Algebraic Topology
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
Introduction to Homotopy Theory- Part 5- Transition to Abstract Homotopy Theory
Credits: nLab: https://ncatlab.org/nlab/show/Introdu... Animation library: https://github.com/3b1b/manim Music: ► Artist Attribution • Music By: "KaizanBlu" • Track Name: "Remember (Extended Mix)" • YouTube Track Link: https://bit.ly/31Ma5s0 • Spotify Track Link: https://spoti.fi/
From playlist Introduction to Homotopy Theory
An interesting homotopy (in fact, an ambient isotopy) of two surfaces.
From playlist Algebraic Topology
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
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Short talks by postdoctoral members Topic: Homotopy type theory: working invariantly in homotopy theory Speaker: Guillaume Brunerie Affiliation: Member, School of Mathematics Date: September 26, 2017 For more videos, please visit http://video.ias.edu
From playlist Mathematics
Lie Groups and Lie Algebras: Lesson 34 -Introduction to Homotopy
Lie Groups and Lie Algebras: Introduction to Homotopy In order to proceed with Gilmore's study of Lie groups and Lie algebras we now need a concept from algebraic topology. That concept is the notion of homotopy and the Fundamental Group of a topological space. In this lecture we provide
From playlist Lie Groups and Lie Algebras
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
Homomorphisms in abstract algebra examples
Yesterday we took a look at the definition of a homomorphism. In today's lecture I want to show you a couple of example of homomorphisms. One example gives us a group, but I take the time to prove that it is a group just to remind ourselves of the properties of a group. In this video th
From playlist Abstract algebra
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)
A geometric model for the bounded derived category of a gentle algebra, Sibylle Schroll, Lecture 1
Gentle algebras are quadratic monomial algebras whose representation theory is well understood. In recent years they have played a central role in several different subjects such as in cluster algebras where they occur as Jacobian algebras of quivers with potentials obtained from triangula
From playlist Winter School on “Connections between representation Winter School on “Connections between representation theory and geometry"
Existence of Symplectic and Contact forms by Mahuya Datta
DATE & TIME: 25 December 2017 to 04 January 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore Holomorphic curves are a central object of study in complex algebraic geometry. Such curves are meaningful even when the target has an almost complex structure. The moduli space of these curves (
From playlist J-Holomorphic Curves and Gromov-Witten Invariants
Model Categories by Rekha Santhanam
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)
R. Bamler - Uniqueness of Weak Solutions to the Ricci Flow and Topological Applications 4
I will present recent work with Kleiner in which we verify two topological conjectures using Ricci flow. First, we classify the homotopy type of every 3-dimensional spherical space form. This proves the Generalized Smale Conjecture and gives an alternative proof of the Smale Conjecture, wh
From playlist Ecole d'été 2021 - Curvature Constraints and Spaces of Metrics
Algebraic Topology - 11.3 - Homotopy Equivalence
We sketch why that the homotopy category is a category.
From playlist Algebraic Topology
José Manuel García-Calcines (6/24/21): Topological complexity using arbitrary covers
Title: Topological complexity using arbitrary covers
From playlist Topological Complexity Seminar