Univalent Foundations Program的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
Homotopy Type Theory
Univalent Foundations Program
评分 8分
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory an
