同伦类型论

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