同伦类型论
的有关信息介绍如下：
同伦类型论（homotopy type theory，缩写HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱分解系统。
想要了解更多“同伦类型论”的信息，请点击：同伦类型论百科
同伦类型论
Simone
发布于 2026-10-19 08:03:54
935 阅读
Simone
发布于 2026-10-19 08:03:54
935 阅读
