Homotopy Type Theory – Univalent Foundations of Mathematics (2013)
By peter_d_sherman · 2026-09-12 · 2 points · 1 comments
https://hott.github.io/book/hott-online.pdf.html
By peter_d_sherman · 2 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews