Xah Talk Show 2022-12-31 Graph Theory, Best Math Books, Homotopy Type Theory, Category Theory
- 1:58 on graph theory, finite math, discrete math, mainstream math, best math books, homotopy type theory, category theory!
- Number Of Ways To Loop n Points
- Why Are Textbook So Expensive?
- Notes on A New Kind of Science
- Free Math Textbooks
- Fun Math Books
- Homotopy Type Theory