Lemma 4.40.1 (2-Yoneda lemma). Let $\mathcal{S}\to \mathcal{C}$ be fibred in groupoids. Let $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. The functor

$\mathop{Mor}\nolimits _{\textit{Cat}/\mathcal{C}}(\mathcal{C}/U, \mathcal{S}) \longrightarrow \mathcal{S}_ U$

given by $G \mapsto G(\text{id}_ U)$ is an equivalence.

Proof. Make a choice of pullbacks for $\mathcal{S}$ (see Definition 4.32.6). We define a functor

$\mathcal{S}_ U \longrightarrow \mathop{Mor}\nolimits _{\textit{Cat}/\mathcal{C}}(\mathcal{C}/U, \mathcal{S})$

as follows. Given $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}_ U)$ the associated functor is

1. on objects: $(f : V \to U) \mapsto f^*x$, and

2. on morphisms: the arrow $(g : V'/U \to V/U)$ maps to the composition

$(f \circ g)^*x \xrightarrow {(\alpha _{g, f})_ x} g^*f^*x \rightarrow f^*x$

where $\alpha _{g, f}$ is as in Lemma 4.34.2.

We omit the verification that this is an inverse to the functor of the lemma. $\square$

There are also:

• 1 comment(s) on Section 4.40: Representable 1-morphisms

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).