« 单纯百科 Simplopedia
Wiki.
综合同伦论
[综合同伦论]
SimplicialCat
同伦类型论
是综合同伦论的一种语言.