Skip to main content
ChannelGems

HoTT Math

@hottmathJoined 2025Is this your channel?
✦ AI summary· updated Oct 2, 2026

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

Made for: AdultsLevel: AdvancedPresented by: Voice-over / faceless
How is this made?

An AI model reads the channel’s public details: its name, description, keywords and stats, and the titles, dates, lengths and tags of its 30 latest videos. It doesn’t watch the videos, so it can miss things. It’s refreshed about every two months, or sooner when the channel changes.

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
58 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
NovDecJanFebMarAprMayJunJulAugSepOct

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.