Lemma 14.19.3 (0184)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 14: Simplicial Methods
Section 14.19: Coskeleton functors
Lemma 14.19.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
3 tags refer to this tag

Lemma 14.19.3. Let $\mathcal{C}$ be a category. Let $U$ be an $m$ -truncated simplicial object of $\mathcal{C}$ . For $n \leq m$ the limit $\mathop{\mathrm{lim}}\nolimits _{(\Delta /[n])_{\leq m}^{opp}} U(n)$ exists and is canonically isomorphic to $U_ n$ .

Proof. This is true because the category $(\Delta /[n])_{\leq m}$ has an final object in this case, namely the identity map $[n] \to [n]$ . $\square$

Comments (0)

There are also:

4 comment(s) on Section 14.19: Coskeleton functors

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment