#24 Homotopy Type Theory Explained: Equivalences, Preimages

Homotopy Type Theory (HoTT) gives us a new foundation for mathematics. From it, we can naturally describe algebraic structures, topology, and even classical logic. This video is part of a series that gradually explains concepts in HoTT, one step at a time. In this video we discuss equivalences. Chapters: 0:00 - Introduction 0:40 - Preimage 1:38 - isEquiv 3:04 - Equivalence If you like to support HoTT Math, you can do so on Ko-fi. All content will always remain free. https://ko-fi.com/hottmath

Join Today
#25 Homotopy Type Theory Explained: Univalence Axiom
▶︎

#25 Homotopy Type Theory Explained: Univalence Axiom

Smooth-Maximum, the most useful function
▶︎

Smooth-Maximum, the most useful function

LAWYER: If Cops Ask "Where Are You Coming From?" - Say These Words
▶︎

LAWYER: If Cops Ask "Where Are You Coming From?" - Say These Words

How Light Travels Without Moving: The Feynman Reality Check
▶︎

How Light Travels Without Moving: The Feynman Reality Check

Something strange happens when you "bump the base"
▶︎

Something strange happens when you "bump the base"

#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers
▶︎

#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers

We're 99.9% sure this pattern is true, but no one can prove it
▶︎

We're 99.9% sure this pattern is true, but no one can prove it

Rowan Atkinson's Brilliant Humor Leaves Celebrities in Tears!
▶︎

Rowan Atkinson's Brilliant Humor Leaves Celebrities in Tears!

The FULL VIDEO of Trump they didn’t want released
▶︎

The FULL VIDEO of Trump they didn’t want released

The $1 Trillion Problem Diamonds Can Solve
▶︎

The $1 Trillion Problem Diamonds Can Solve

She’s 12. She Sings Aretha Franklin… Until Simon TELLS Her to Do It Acapella! 😳
▶︎

She’s 12. She Sings Aretha Franklin… Until Simon TELLS Her to Do It Acapella! 😳

You’ll stop using ChatGPT after listening to this | Jonathan Pageau [ARC 2026]
▶︎

You’ll stop using ChatGPT after listening to this | Jonathan Pageau [ARC 2026]

A visual guide to Bayesian thinking
▶︎

A visual guide to Bayesian thinking

Why Runge-Kutta is SO Much Better Than Euler's Method #somepi
▶︎

Why Runge-Kutta is SO Much Better Than Euler's Method #somepi

ASMR Best Triggers For Sleep Collection (No Talking) 3 Hours of Tapping & Scratching
▶︎

ASMR Best Triggers For Sleep Collection (No Talking) 3 Hours of Tapping & Scratching

The Strangest Things that Correlate with IQ
▶︎

The Strangest Things that Correlate with IQ

Rare Anomalies in Chess
▶︎

Rare Anomalies in Chess

Only 2 Primes Have This Property. We Don't Know Why.
▶︎

Only 2 Primes Have This Property. We Don't Know Why.

PINK & ORANGE GRADIENT IN HD [3 HOURS]
▶︎

PINK & ORANGE GRADIENT IN HD [3 HOURS]