Wiki. “截断性” [截断性]

#同伦类型论

例

$(-1)$-截断的映射就是单射.

$(-2)$-截断的映射就是等价.

相关概念

连通性

[(n-连通, n-截断) 分解]((n-连通,n-截断) 分解.md)