« 单纯百科 Simplopedia
Wiki.
“En-算畴”
[En-算畴]
SimplicialCat
$E_n$-算畴的一种构造是
小 n-方块算畴
.