« 单纯百科 Simplopedia
Wiki.
有限极限
[有限极限]
SimplicialCat
定义
有限极限是以
有限范畴
为指标范畴的
极限
.