All Questions

It is well known that, for a small category $\mathbf A$, the category $\widehat{\mathbf A} = [\mathbf A^\circ, \mathbf{Set}]$ of presheaves on $\mathbf A$ together with the Yoneda embedding $\mathbf A ...

$\newcommand{\op}{\mathrm{op}}$For a locally small category $\mathcal{C}$, let $y_\mathcal{C}:\mathcal{C}\to{\bf Set}^{\mathcal{C}^{\op}}$ denote the Yoneda embedding at $\mathcal{C}$. Letting ${\bf ...