同伦维数 (意象) [同伦维数]

定义

对于意象 $\mathcal X$ 与 $n\geq -1$, 若 $\mathcal X$ 中每个 $(n-1)$-连通对象 $A$ 都有整体元素 $1\to A$, 则称 $\mathcal X$ 的同伦维数 $\leq n$.

同伦维数 $\leq (-1)$ 的意象只有空意象.

$\mathsf{Ani}$ 的同伦维数为 $0$, 因为其中的 $(-1)$-连通对象为非空生象, 而非空生象总有点.