同构类型理论

同构类型理论在数理逻辑和计算机科学中，同构类型理论（HoTT/hɒt/）是指直观类型理论的各种发展路线，其基础是将类型解释为（抽象的）同构理论的直觉所适用的...