同伦类型论：数学的单值语义基础

本书是 The HoTT Book 的非官方翻译。 当前进度是第二章。

License

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.

获得 PDF

直接下载

Releases

编译 .tex 文件

1. 准备编译环境，参照原著的 README 文件。
2. 使用命令

latexmk -xelatex  -interaction=batchmode  hott-online.tex

或 makefile

make hott-online.pdf

注意项目使用 xelatex 支持中文，但只做了必要的兼容。所以 makefile 无法直接使用，不再兼容 LaTeX 的 ifpdf 命令。

其它

本项目使用的翻译辅助工具是 OmegaT 。 但是修改了它的 LaTeX 过滤器，暂时没有上传翻译库和词汇表到此项目中。