LaTeX排版《Homotopy type theory》

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

在数理逻辑与计算机科学中，同伦类型论（homotopy type theory，缩写 HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱分解系统。反而言之，内涵类型论则为同伦理论提供了一套逻辑语言。类型论在绝大多数计算机证明辅助系统中被用作集合论的替代理论，因为集合论的语言难以转化成计算机证明辅助的形式语言。（选自：这里）

下载区：编译pdf：hott-a4     源代码
源地址下载文件：hott-online

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

关键词：Homotopy Theory LaTeX atex Theo 计算机科学 下载文件 源代码 集合论 模型

蛮有意思，不过论坛里受众可能比较少

北固隐 发表于 2014-11-21 00:53
蛮有意思，不过论坛里受众可能比较少

是的啊