Wiki. En-算畴 [En-算畴]
Wiki. En-算畴 [En-算畴]
$E_n$-算畴的一种构造是小 $n$-方块算畴, 其 $k$ 元运算是 $k$ 个方块 $\sqcup_k [0,1]^n$ 到一个方块的 “横平竖直” 的嵌入.
与 $\mathbb E_n$ 密切相关的一个算畴是 $\mathsf{BTop}(n)$, 见拓扑圆盘的分类空间.
$E_n$-算畴的一种构造是小 $n$-方块算畴, 其 $k$ 元运算是 $k$ 个方块 $\sqcup_k [0,1]^n$ 到一个方块的 “横平竖直” 的嵌入.
与 $\mathbb E_n$ 密切相关的一个算畴是 $\mathsf{BTop}(n)$, 见拓扑圆盘的分类空间.