Wiki. 球面 [球面]SimplicialCat 定义 归纳定义 $n=-1$: $(-1)$ 维球面 $S^{-1}$ 是空集 (始对象). $n\geq 0$: $n$ 维球面 $S^n$ 是如下的推出: $$ \begin{array} {ccc} S^{n-1} & \to & * \ \downarrow & & \downarrow \ & \to & S^{n}. \end{array} $$ 性质