这是一本关于非正式同伦类型理论的教科书。 它是2012/13年度高等研究院开展的“项目的一部分。 执照 这项工作已根据。 分配 该书的印刷版和印刷版可在,夜间版本可以在。 前提条件和编译 要自己编写本书,您需要一个相当新的LaTeX版本。 2012确认可以正常工作。 您可能需要安装一些软件包。 有关本书使用的软件包,请参见main.tex 。 ,这是MacTEX都的简约版本,确认工作,一旦下列软件包已被安装: tlmgr , install , braket , comment , courier , enumitem , helvetic , mathpazo , nextpage , ntheorem , palatino , rsfs , stmaryrd , symbol , titlesec , wallpaper , wasy , wasysym , xstring ,