Example 4.3.2.11. Let $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be a functor of categories. Applying Proposition 4.3.2.10 in the case $\operatorname{\mathcal{C}}= [0]$, we see that objects of the slice category $\operatorname{\mathcal{E}}_{/G}$ can be identified with functors $U: \operatorname{\mathcal{D}}^{\triangleleft } \rightarrow \operatorname{\mathcal{E}}$ satisfying $U|_{\operatorname{\mathcal{D}}} = G$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$