Skip to main content
MathOverflow

Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link
Community Bot
Community Bot
  • 1
  • 2
  • 3

I'm learning about representable functors from Vistoli notes thanks to Charles Siegel's answerCharles 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?

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?

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?

Source Link
Ilya Nikokoshev
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?