« 单纯百科 Simplopedia
Wiki.
依值积
[依值积]
SimplicialCat
观念
依值积的直观是
依值类型
中所有类型的积.