Let $N(-/\mathcal C)\colon \mathcal C\to \mathbf{sSet}$ be the functor sending $c\in\mathcal C$ to the nerve of the coslice category $c/\mathcal C$.

Given a functor $K\colon\mathcal{C}\to \mathcal{D}$, I'm trying to prove that $$ \text{Lan}_KN(-/\mathcal C)\cong N(-/K) $$ where RHS is a functor $\mathcal D\to \mathbf{sSet}$ sending $d\in \mathcal D$ to the nerve of the category $d/K$ having objects $\{d\to Kc\mid c\in\cal C\}$ and obvious morphisms.

No clue about a solution: coend juggling for $\text{Lan}_K$ gives no simplifications; the universal property of $\text{Lan}_K$ seems likewise elusive.


I have a vague memory that there is a slick way to see this but I've forgotten. (If I had to guess, perhaps the idea is to swap the roles played by the weight $d/K(-)$ and the diagram $-/\mathcal{C}$ and then apply the coYoneda lemma. You probably have to pass to bisimplicial sets to make this work.) In any case, a direct computation - using the standard pointwise formula for left Kan extensions - isn't too difficult.

Colimits in $\mathbf{sSet}$ are taken pointwise, so it suffices to compute the left Kan extension of $N(-/\mathcal{C})_n \colon \mathcal{C} \to \mathbf{Set}$ for each $n$. By definition, the value of this left Kan extension at $d$ in $\mathcal{D}$ is:

$$\int^{c \in \mathcal{C}} \coprod_{\mathcal{D}(d,Kc)} \coprod_{c_0\cdots c_n} \mathcal{C}(c,c_0) \times \cdots \times \mathcal{C}(c_{n-1},c_n).$$ where the interior coproduct is over all $n+1$ tuples of objects of $\mathcal{C}$. This set is isomorphic to: $$ \coprod_{c_0\ldots c_n} \int^{c \in \mathcal{C}} \mathcal{D}(d,Kc) \times \mathcal{C}(c,c_0) \times \cdots \times \mathcal{C}(c_{n-1},c_n)$$ By the coYoneda lemma, this coend is isomorphic to $$\coprod_{c_0\ldots c_n} \mathcal{D}(d,Kc_0) \times \mathcal{C}(c_0,c_1) \times \cdots \times \mathcal{C}(c_{n-1},c_n),$$ which is the set of $n$-simplices in the nerve of the slice category $d/K$.

| cite | improve this answer | |

The question uses notation that doesn't distinguish between covariant and contravariant functors, which I think is confusing. Here's the result restated with $^\mathrm{op}$'s in the right places: $\mathrm{Lan}_{K^\mathrm{op}} N(-/\mathcal{C}) \cong N(-/K)$ where $N(-/\mathcal{C}) : \mathcal{C}^\mathrm{op} \to \mathbf{Cat}$, $N(-/K) : \mathcal{D}^\mathrm{op} \to \mathbf{Cat}$ and $K^\mathrm{op}$ is the same functor as $K$ but regarded as a functor $\mathcal{C}^\mathrm{op} \to \mathcal{D}^\mathrm{op}$.

All right, let's compute the left Kan extension. Its value at $d^\mathrm{op} \in \mathcal{D}^\mathrm{op}$ is given by $\mathop{\mathrm{colim}}\left( \Phi : K^\mathrm{op}/d^\mathrm{op} \to \mathcal{C}^\mathrm{op} \xrightarrow{N(-/\mathcal{C})} \mathbf{sSet} \right)$. Under the isomorphism $K^\mathrm{op}/d^\mathrm{op} \cong (d/K)^\mathrm{op}$, $\Phi : (d/K)^\mathrm{op} \to \mathbf{sSet}$ is given by $\Phi(\alpha : d \to Kc) = N(c/\mathcal{C})$. (Notice that this really is contravariant.)

Now, the trick is to notice that for $\alpha : d \to Kc$, the category $c/\mathcal{C}$ is isomorphic to $\alpha/(d/K)$, so that the functor $\Phi$ is of the form $N(-/\mathcal{A}) : \mathcal{A}^\mathrm{op} \to \mathbf{sSet}$ for $\mathcal{A} = d/K$ and we must show $\mathop{\mathrm{colim}} N(-/\mathcal{A}) = N(\mathcal{A})$.

Remark 1: We've essentially reduced your question to the case $\mathcal{D} = 1$.

Remark 2: What's left to show is equivalent to the fact that the homotopy colimit of the constant functor with value a point is the nerve of the indexing category, or, more precisely, that the Bousfield-Kan formula (with appropriate choice of op/no-op) for that colimit gives exactly the nerve.

One can prove the remaining claim directly: the colimiting cocone $\pi : N(-/\mathcal{A}) \Rightarrow N(\mathcal{A})$ is given by applying the nerve functor to the canonical projections $a/\mathcal{A} \to \mathcal{A}$; given any simplicial set $B$ and any cocone $\gamma : N(-/\mathcal{A}) \Rightarrow B$, we'll prove it factors through $\pi$ by means of the map $G : N(\mathcal{A}) \to B$ given by $G(\sigma) = \gamma_{a_0}(\bar\sigma)$, where $\sigma$ is a simplex $a_0 \xrightarrow{f_0} \cdots \xrightarrow{f_{n-1}} a_n$ of $N(\mathcal{A})$ and $\bar\sigma$ is the corresponding simplex $1_a \to (a_0 \xrightarrow{f_0} a_1) \to (a_0 \xrightarrow{f_1 f_0} a_2) \to \cdots (a_0 \xrightarrow{f_{n-1} \cdots f_0} a_n)$ of $N(a_0/\mathcal{A})$.

To check $G$ is a map of simplicial sets, we use the naturality of $\gamma$. Let $h : [m] \to [n]$ be a simplicial operator and $\sigma = (a_0 \xrightarrow{f_0} \cdots \xrightarrow{f_{n-1}} a_n)$ an $n$-simplex of $N(\mathcal{A})$. If $h(0) = 0$, then $G(h^\ast \sigma) = h^\ast G(\sigma)$ just follows from $\gamma_{a_0}$ being a map of simplicial sets. If instead $h(0) > 0$, let $f = f_{h(0)-1} \cdots f_0 : a_0 \to a_{h(0)}$. By naturality of $\gamma$, $\gamma_{a_{h(0)}} = \gamma_{a_0} \circ f^\ast$. It's easy to check by hand that $f^\ast (\overline{h^\ast \sigma}) = h^\ast(\bar\sigma)$, so we get $$G(h^\ast \sigma) = \gamma_{a_{h(0)}}(\overline{h^\ast \sigma}) = \gamma_{a_0} (f^\ast (\overline{h^\ast \sigma})) = \gamma_{a_0} (h^\ast(\bar\sigma)) = h^\ast (\gamma_{a_0}(\bar\sigma)) = h^\ast(G(\sigma)).$$

An $n$-simplex $\tau \in N(a/\mathcal{A})$ is determined by the $n$-simplex $\pi_a(\tau)$ in $N(\mathcal{A})$ and the morphism $f : a \to a_0$ where $a_0$ is the first vertex of $\pi_a(\tau)$. With that notation we can easily establish that $G$ is the unique map such that $G \cdot \pi = \gamma$:

Let's check that $G(\pi_a(\tau)) = \gamma_a(\tau)$: we have $f^\ast(\overline{\pi_a(\tau)}) = \tau$, so $\gamma_a(\tau) = \gamma_a(f^\ast(\overline{\pi_a(\tau)})) = \gamma_{a_0}(\overline{\pi_a(\tau)}) = G(\pi_a(\tau))$.

Now to see that $G$ is the unique such map, take any $n$-simplex $\sigma$ in $N(\mathcal{A})$ and let $\tau = \bar\sigma$. Then $\pi_{a_0} \tau = \sigma$ (where $a_0$ is the initial vertex of $\sigma$) and thus $G(\sigma) = G(\pi_{a_0}(\tau)) = \gamma_{a_0}(\bar\sigma)$ is forced.

| cite | improve this answer | |
  • $\begingroup$ "it's enough to show it's true before taking nerves because N is a left adjoint" Nope! $N\colon \mathcal C\mapsto \mathbf{Cat}(\Delta[-],\mathcal C)$ is not a left adjoint and it certainly does not commute with colimits. $\endgroup$ – Fosco Oct 28 '14 at 6:31
  • $\begingroup$ Wow, you're right! Sorry, @tetrapharmakon! I shouldn't just dash these off. $\endgroup$ – Omar Antolín-Camarena Oct 28 '14 at 13:20
  • $\begingroup$ Well, I think this argument might also work with nerves thrown in, @tetrapharmakon. The main difference is that then $\mathcal{B}$ is an arbitrary simplicial set, not necessarily the nerve of a category, but it doesn't seem to matter that much... $\endgroup$ – Omar Antolín-Camarena Oct 28 '14 at 13:49
  • $\begingroup$ Yep, it also works with nerves. $\endgroup$ – Omar Antolín-Camarena Oct 28 '14 at 16:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.