You're reading: Posts Tagged: github

Homotopy Type Theory: a new foundation for 21st-century mathematics

hott cover

Pretty big book news (in a couple of ways)! The Univalent Foundations Program at the Institute for Advanced Study in Princeton has released a 470-page textbook resetting the foundations of mathematics on homotopy type theory. It’s called Homotopy Type Theory: Univalent Foundations of Mathematics.

Help a dude write an open-source calculus textbook (or use one of the many great ones already available)

A chap called Dixon Crews has posted to reddit’s maths section asking for help with a writing project.