作为该理论研究的产物，一本开放源码的书籍 "Homotopy Type Theory: Univalent Foundations of Mathematics（同伦类型论：数学的一价语义基础）" 得以公开发布。作为一部纯数学作品，它非常罕见地在GitHub上通过社区合作的方式进行创作，并使用 Creative Commons 授权，从而允许任何人免费下载或选择购买纸质版。