Algebraic Topology 1: Homotopy Equivalence
1:08:49
Find in video from 03:14Definition and examples of homotopy
Algebraic Topology 1: Homotopy Equivalence
48K viewsSep 7, 2023
YouTubeMath at Andrews University
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Theory I
36:14
Find in video from 04:29Simple Theory of Types
Dr. Roberta Bonacina (Tübingen): Introduction to Homotopy Type Th…
1.6K viewsJan 18, 2021
YouTubeWeizsäcker-Zentrum Universität Tübingen
Algebraic Topology - Lecture 1 - Homotopy
1:54:56
Algebraic Topology - Lecture 1 - Homotopy
2.6K viewsJan 25, 2024
YouTubeNicolas Bourbaki
Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1
1:33:59
Find in video from 01:55Simplicial Sets and Homotopy Type Theory
Emily Riehl: On the ∞-topos semantics of homotopy type theor…
5.1K viewsMar 15, 2022
YouTubeCentre International de Rencontres Mathématiq…
Homotopy Equivalence -- Topology Video 23
30:28
Homotopy Equivalence -- Topology Video 23
2.6K viewsApr 19, 2025
YouTubeMathMajor
Mitchell Riley, Linear Homotopy Type Theory
26:39
Mitchell Riley, Linear Homotopy Type Theory
819 viewsJan 20, 2022
YouTubeHoTTEST
Dennis Sweeney (06/24/2026): Classifying Spaces of Finite Monoids
45:30
Dennis Sweeney (06/24/2026): Classifying Spaces of Finite Mono…
2 views1 week ago
YouTubeApplied Algebraic Topology Network
50:41
Mr. Floris van Doorn | Homotopy Type Theory in Lean
35 views6 months ago
YouTubeINI Seminar Room 1
24:11
Three for One: Logic Interpretation [Intro to HoTT, No. 1, Part 3]
5.1K viewsApr 30, 2022
YouTubejacobneu
38:33
Homotopy Classes of the circle -- Topology Video 24
2K viewsApr 23, 2025
YouTubeMathMajor
1:14:20
Greg Langmead, Discrete differential geometry in homotopy …
633 views9 months ago
YouTubeHoTTEST
1:17:01
Benedikt Ahrens, A type theory for comprehension categories
379 views5 months ago
YouTubeHoTTEST
58:14
Freek Geerligs, Synthetic Stone duality
253 views2 months ago
YouTubeHoTTEST
48:04
Szumi Xie, The groupoid-syntax of type theory is a set
393 views3 months ago
YouTubeHoTTEST
1:03:23
HHHW04 | Dr. Fabian Hebestreit | The homotopy type of algebraic c…
101 views6 months ago
YouTubeINI Seminar Room 1
52:45
Xah Ep760. classical piano music, lambda calculus, set theory, categ…
375 views4 months ago
YouTubeXah Lee
1:00:22
The condensed homotopy type of a scheme
184 views8 months ago
YouTubeInternational Centre for Mathematical Sciences
51:08
Vin de Silva (01/14/26) : A New Kind of Cell-Complex for Poset Topology
330 views5 months ago
YouTubeApplied Algebraic Topology Network
See more videos
Static thumbnail place holder