Skip to main content
2 of 3
formatting, added tag
YCor
  • 63.9k
  • 5
  • 187
  • 286

Realization of a constant simplicial anima

$\DeclareMathOperator\sAn{\mathit{sAn}}\DeclareMathOperator\An{\mathit{An}}$For the category of simpicial animas (simplicial $\infty$-groupoids if you like) $\sAn$, we have the evaluation functor $\mathrm{ev}_n:\sAn\rightarrow \An$ with a left adjoint $\mathrm{const}_n$ and the realization functor $|\ |:\sAn\rightarrow \An$ with a right adjoint being the Rezk nerve.

I wonder why $\Omega |\operatorname{const}_1 X|$ is $X$. This is used in the (4.1.27) in the Lecture notes: Lecture Notes on Algebraic K-Theory.

I can't even give a direct description for $\operatorname{const}_1X$. Is this something concerning the theory of Segal spaces...?

XiaYu
  • 429
  • 2
  • 6