Skip to main content
1 of 2
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

Yoneda embedding target

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?

Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129