« 单纯百科 Simplopedia
Wiki.
“无穷环路空间”
[无穷环路空间]
SimplicialCat
无穷环路空间等同于
连合谱
,
Abel ∞-群
.