2 Homotopy Type Theory Explained

May 27, 2026
Media Summary: Welcome to this whirlwind introduction to

2 Homotopy Type Theory Explained - Detailed Analysis & Overview

Welcome to this whirlwind introduction to

Photo Gallery

#2 Homotopy Type Theory Explained: Universes, Functions, and Π-types
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
What is...homotopy type theory?
#7 Homotopy Type Theory Explained: Σ-types
Homotopy Type Theory Discussed - Computerphile
Mike Shulman, Type 2-theories
#5 Homotopy Type Theory Explained: Products
Homotopy Type Theory in 2 Minutes
The HoTTest Axiom of math
#27 Homotopy Type Theory Explained: Free products, Wedge sums
#12 Homotopy Type Theory Explained: Addition, Currying, Functions from Inductive Types

Related Plants

#2 Homotopy Type Theory Explained: Universes, Functions, and Π-types #1 Homotopy Type Theory Explained: A New Foundation for Mathematics Homotopy Type Theory: Vladimir Voevodsky - Computerphile What is...homotopy type theory? #7 Homotopy Type Theory Explained: Σ-types Homotopy Type Theory Discussed - Computerphile Mike Shulman, Type 2-theories #5 Homotopy Type Theory Explained: Products Kurt Busch's Net Worth May Surprise NASCAR Fans After Shocking Comeback The Surprising Truth About ASL And Sex Ed In Deaf Culture The Hidden Dangers Of Working At 70C Temperatures - Industry Leaders Sound The Alarm Ronn Moss's Jaw-Dropping Career U-Turn: From Rock Star To High-Profile Entrepreneur How A Cannon Beach Camera Captures Eroding Coastlines Your Hidden Risk In Tribal Lending Installment Loans: Expert Reveals Avoiding Fashion Disaster Aces Limited Brands You Should Never Buy Online What Golfers Get Wrong About Par: Debunking Common Myths And Bad Habits
View Detailed Profile
#2 Homotopy Type Theory Explained: Universes, Functions, and Π-types

#2 Homotopy Type Theory Explained: Universes, Functions, and Π-types

Homotopy Type Theory

#1 Homotopy Type Theory Explained: A New Foundation for Mathematics

#1 Homotopy Type Theory Explained: A New Foundation for Mathematics

Homotopy Type Theory

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

More on

What is...homotopy type theory?

What is...homotopy type theory?

What is...

#7 Homotopy Type Theory Explained: Σ-types

#7 Homotopy Type Theory Explained: Σ-types

Homotopy Type Theory

Homotopy Type Theory Discussed - Computerphile

Homotopy Type Theory Discussed - Computerphile

...

Mike Shulman, Type 2-theories

Mike Shulman, Type 2-theories

Homotopy Type Theory

#5 Homotopy Type Theory Explained: Products

#5 Homotopy Type Theory Explained: Products

Homotopy Type Theory

Homotopy Type Theory in 2 Minutes

Homotopy Type Theory in 2 Minutes

Welcome to this whirlwind introduction to

The HoTTest Axiom of math

The HoTTest Axiom of math

We are going to introduce

#27 Homotopy Type Theory Explained: Free products, Wedge sums

#27 Homotopy Type Theory Explained: Free products, Wedge sums

Homotopy Type Theory

#12 Homotopy Type Theory Explained: Addition, Currying, Functions from Inductive Types

#12 Homotopy Type Theory Explained: Addition, Currying, Functions from Inductive Types

Homotopy Type Theory

#20 Homotopy Type Theory Explained: Sections

#20 Homotopy Type Theory Explained: Sections

Homotopy Type Theory