Weak equivalence (homotopy theory)

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

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

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

ITHT: Part 10- Derived Functors

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

From playlist Introduction to Homotopy Theory

Algebraic Topology - 11.3 - Homotopy Equivalence

We sketch why that the homotopy category is a category.

From playlist Algebraic Topology

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

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

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

Introduction to Homotopy Theory: Part 8- Homotopy in Model Categories

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

From playlist Introduction to Homotopy Theory

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