Wiki. 环路空间 [环路空间]

定义

设 $\infty$-范畴 $\mathcal C$ 有终对象 $*$. 对于带基点对象 $x\colon *\to X$, 定义其环路空间 $\Omega X = \Omega (X,x)$ 是如下拉回, $$ \begin{array} {ccc} \Omega (X,x) & \to & * \\ \downarrow & & \downarrow \\ * & \to & X. \end{array} $$