Institute for advanced study (Princeton, N. J.). Univalent Foundations of Mathematics
Homotopy type theory : univalent foundations of mathematics / The Univalent Foundations Program, Institute for Advanced Study. -- [Princeton] : The Univalent Foundations Program, [2013]. -- ©2013. -- xiii, 605 stran. -- ISBN : (Vázáno).
teorie homotopií. učebnice
515.143. (075)