I'm learning about representable functors from Vistoli notes thanks to Charles Siegel's answer.
I see that any category $\mathcal C$ can be embedded into $\text{Hom}\\,(\mathcal C^{op}, \mathcal Set)$ by means of Yoneda embedding. I wonder if there are examples where the latter category would be interesting in itself, other then for these purposes?