#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
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 monoids, sets, and mere propositions. Chapters: 0:00 - Introduction 0:38 - Mere propostions 2:01 - Sets 2:44 - Monoids 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
▶︎
#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers
▶︎
Smooth-Maximum, the most useful function
▶︎
How 5 Colors Solve Infinite Geometry
▶︎
The Strangest Things that Correlate with IQ
▶︎
#21 Homotopy Type Theory Explained: Contractibility, Interval Type
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
Nobody Breaks Celebrities Like Rowan Atkinson
▶︎
A Game Machines Have Not Defeated Humanity At
▶︎
She’s 12. She Sings Aretha Franklin… Until Simon TELLS Her to Do It Acapella! 😳
▶︎
We're 99.9% sure this pattern is true, but no one can prove it
▶︎
The $1 Trillion Problem Diamonds Can Solve
▶︎
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
▶︎
Tesla’s 3-6-9 and Vortex Math: Is this really the key to the universe?
▶︎
A Sensible Introduction to Category Theory
▶︎
The Book That Started It All
▶︎
The Obsessive Engineering of Precision Linear Motion
▶︎
The Strange Math That Predicts (Almost) Anything
▶︎
All 7 Dimensions Explained in Detail (From 0D to Infinity)
▶︎