百科. ∞-群 [∞-群]
百科. ∞-群 [∞-群]
$\infty$-群是指 $\mathsf{Ani}$ 中的 $\mathbb E_1$-群, 也等同于只有一个对象的 $\infty$-群胚, 也即 $\mathsf{Ani}$ 中的群胚对象 $X\colon \Delta^{\mathrm{op}}\to\mathsf{Ani}$, 满足 $X_0=1$.
$\infty$-群是指 $\mathsf{Ani}$ 中的 $\mathbb E_1$-群, 也等同于只有一个对象的 $\infty$-群胚, 也即 $\mathsf{Ani}$ 中的群胚对象 $X\colon \Delta^{\mathrm{op}}\to\mathsf{Ani}$, 满足 $X_0=1$.