Skip to main content
ChannelGems
فا

HoTT Math

@hottmathJoined 2025

Short lessons explain homotopy type theory and its connections to types, proofs, topology, and category theory.

Rate it Open on YouTube
ChannelGems score
Not rated yet

Nobody has rated this channel yet. Score it on 10 aspects and help others decide.

Rate it
Subscribers
1.8K
Growth (30 days)
—

Scores across 10 aspects

Be the first to rate HoTT Math

Score it on 10 aspects — from honesty to family-friendliness — and help others find channels worth their time.

Rate this channel

Activity & growth

Upload cadence
Every 2 weeks
Uploads / month
1.7
Typical length
4 min
Last upload
56 days ago

When they upload

Peak: Friday 16:00 UTC

Growth

History builds up day by day from when the channel joined ChannelGems.

Uploads per month · Long-form

3
3
4
2
4
3
3
2
4
1
0
0
NDJFMAMJJASO

Latest videos

Content warnings

The community hasn't flagged any content warnings for this channel.

Warnings are flagged by raters when they submit a rating.

Community reviews

Write a review

No reviews yet — be the first.

Similar channels

Matched on topic, language, size and video style.

All similar →

About

Good for

  • studying homotopy type theory
  • exploring rigorous mathematical foundations
  • learning about types and proofs

Topics

homotopy type theorytype theoryfoundational mathematicsmathematical proofscategory theorytopology

HoTT Math offers a step-by-step exploration of foundational mathematics. Using Homotopy Type Theory, we examine types, propositions, and proofs with rigour and clarity.

Topics and descriptions are generated automatically from public channel data and may contain mistakes.