文件名称：book:非正式同伦类型理论教科书
文件大小：65.42MB
文件格式：ZIP
更新时间：2024-04-20 09:51:58
TeX
这是一本关于非正式同伦类型理论的教科书。 它是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 ，
【文件预览】：
book-master
----hott-letter.tex(553B)
----macros.tex(31KB)
----mathpartir.sty(15KB)
----cover-lores.png(632KB)
----.gitignore(12KB)
----hlevels.tex(109KB)
----hott-ebook.tex(600B)
----torus-hires-bw.png(1.22MB)
----cover-lulu-paperback.png(3.54MB)
----other()
--------index-helper.py(3KB)
--------frequency.py(252KB)
--------index.el(5KB)
--------prelim.agda(2KB)
----categories.tex(105KB)
----opt-bastard.tex(62B)
----cover-hires-back-bw.png(2.27MB)
----main.tex(10KB)
----opt-black-white.tex(775B)
----Makefile(7KB)
----blurb.tex(2KB)
----setmath.tex(101KB)
----halpha.bst(22KB)
----reals.tex(186KB)
----bmpsize-hack.tex(820B)
----etc()
--------ci()
----ifxetex.sty(1KB)
----logic.tex(78KB)
----.travis.yml(1KB)
----opt-a4.tex(4KB)
----cover-hires-front.png(5.31MB)
----basics.tex(151KB)
----hott-a4-exercises.tex(636B)
----CONVENTIONS.txt(3KB)
----cover-lulu-paperback.tex(2KB)
----torus-lores-bw.png(358KB)
----CONTRIBUTING.md(4KB)
----GIT_CHEATSHEET.txt(1KB)
----filter-errata(2KB)
----preliminaries.tex(135KB)
----coq_introduction()
--------.gitignore(48B)
--------Reading_HoTT_in_Coq.v(49KB)
--------Makefile(646B)
----symbols.tex(20KB)
----hits.tex(130KB)
----hott-letter-exercises.tex(644B)
----preface.tex(4KB)
----cover-hires-front-bw.png(5.42MB)
----frontpage.tex(750B)
----induction.tex(92KB)
----opt-no-bastard.tex(70B)
----errata.tex(40KB)
----introduction.tex(54KB)
----opt-color.tex(952B)
----README.md(3KB)
----opt-cover.tex(48B)
----mark-errata(354B)
----cover-lulu-hardcover.tex(2KB)
----cover-letter.tex(1KB)
----cover-hires.png(13.3MB)
----opt-ustrade.tex(4KB)
----hott-ustrade.tex(659B)
----opt-ebook.tex(4KB)
----main.labelnumbers.first-edition(77KB)
----opt-no-cover.tex(56B)
----back.tex(331B)
----hott-a4.tex(545B)
----front.tex(5KB)
----geometry.sty(40KB)
----formal.tex(50KB)
----cover-hires-bw.png(12.77MB)
----cover-hires-back.png(2.07MB)
----cover-lores-front-bw.png(608KB)
----hott-online.tex(560B)
----equivalences.tex(55KB)
----cover-lores-back.png(323KB)
----opt-exerciseperpage.tex(85B)
----cleveref.sty(332KB)
----cover-lores-front.png(519KB)
----homotopy.tex(152KB)
----exercise_solutions.tex(105KB)
----references.bib(42KB)
----cover-lores-back-bw.png(289KB)
----opt-letter.tex(4KB)
----.gitattributes(11B)
----cover-a4.tex(1KB)
----cover()
--------torus()
----build-nightlies(2KB)
----cover-lulu-hardcover.png(3.53MB)