Homotopy theory

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 category theory (specifically the study of higher categories). (Wikipedia).

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

Video thumbnail

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

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

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

Introduction to Homotopy Theory- PART 2: (TOPOLOGICAL) HOMOTOPY

We move on to the second section of nLab's introduction to homotopy theory, homotopy. Topics covered include left/right homotopy, topolocial path/cylinder objects, homotopy groups, and weak/standard homotopy equivalences. PLEASE leave any misconceptions I had or inaccuracies in my video i

From playlist Introduction to Homotopy Theory

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

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

Video thumbnail

Algebraic Topology - 11.3 - Homotopy Equivalence

We sketch why that the homotopy category is a category.

From playlist Algebraic Topology

Video thumbnail

Even spaces and motivic resolutions - Michael Hopkins

Vladimir Voevodsky Memorial Conference Topic: Even spaces and motivic resolutions Speaker: Michael Hopkins Affiliation: Harvard University Date: September 13, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Invariant homotopy theory in the univalent foundations - Guillaume Brunerie

Topic: Invariant homotopy theory in the univalent foundations Speaker: Guillaume Brunerie, Member, School of Mathematics Time/Room: 4:00pm - 4:15pm/S-101 More videos on http://video.ias.edu

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

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

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

Charles Rezk - 2/4 Higher Topos Theory

Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart2.pdf In this series of lectures I will give an introduction to the concept of "infinity

From playlist Toposes online

Video thumbnail

Homotopy animation

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

From playlist Algebraic Topology

Related pages

Simple homotopy theory | Group action | Chromatic homotopy theory | Topological space | Injective module | Whitehead torsion | Category of abelian groups | Principal bundle | Homotopy | Rational homotopy theory | Homotopy type theory | Brown's representability theorem | Topological group | Group (mathematics) | Algebraic topology | CW complex | Freudenthal suspension theorem | Map (mathematics) | Simplicial homotopy | Sphere spectrum | Highly structured ring spectrum | Classifying space | Pointed space | Eilenberg–MacLane space | Landweber exact functor theorem | Dold–Kan correspondence | Higher category theory | Pursuing Stacks | Hausdorff space | Characteristic class | Mathematics | Integer | Cofibration | Algebraic geometry | Pathological (mathematics) | Eckmann–Hilton argument | Category theory | Representable functor | Category (mathematics) | Universal coefficient theorem | Morphism | Fundamental group | Equivalence relation | Fibration | Fundamental groupoid | Abstract algebra | Homotopy excision theorem | Homotopy hypothesis | Stable homotopy theory | Compactly generated space | Abelian group