Homotopy Type Theory: Univalent Foundations of Mathematics 豆 7.8分

资源最后更新于 2020-07-28 14:44:57

作者：Univalent Foundations Program

出版社：

出版日期：2014-01

ISBN：9787704251709

文件格式： pdf

标签： 数学 Math 计算机 同伦类型论 范畴论 pl TypeTheory 类型论

简介· · · · · ·

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type the...