#38 Homotopy Type Theory Explained: Natural Transformations, Cat. of Functors
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 natural transformations. Chapters: 0:00 - Introduction 0:34 - Natural Transformations 2:58 - Cat. of Functors 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
▶︎
Android 17 sucks. So I put Linux on a phone.
▶︎
Mutual Information, Visually Explained
▶︎
#23 Homotopy Type Theory Explained: Groups, Truncations, Loop Spaces, Integers
▶︎
#22 Homotopy Type Theory Explained: Monoids, Sets, Mere Propositions
▶︎
#20 Homotopy Type Theory Explained: Sections
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
A Sensible Introduction to Category Theory
▶︎
#24 Homotopy Type Theory Explained: Equivalences, Preimages
▶︎
ASMR Best Triggers For Sleep Collection (No Talking) 3 Hours of Tapping & Scratching
▶︎
The most beautiful formula not enough people understand
▶︎
LAWYER: If Cops Ask "Where Are You Coming From?" - Say These Words
▶︎
#34 Homotopy Type Theory Explained: Semi-Direct Products, Automorphisms
▶︎
Denmark Just Did Something to ISLAM Everyone Else Is Too AFRAID To Do
▶︎
how to understand all of lie algebras with one picture
▶︎
When Celebrities Couldn’t Handle Sacha Baron Cohen’s ZERO Filter (Borat, Ali G, The Dictator)
▶︎
I'm leaving Germany | Brutally Honest Review
▶︎
Nobody Breaks Celebrities Like Rowan Atkinson
▶︎
Rowan Atkinson's Brilliant Humor Leaves Celebrities in Tears!
▶︎