« 单纯百科 Simplopedia
Wiki.
单射
[单射]
SimplicialCat
观念
单射就是 $(-1)$-
截断
映射.