Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorBartek
   • CommentTimeApr 13th 2017
   • (edited Apr 13th 2017)
   • PermaLink
   Author: Bartek
   Format: MarkdownItexI added a remark about the contravariant Yoneda embedding $c \mapsto C(c,-)$ to the page on the [Yoneda embedding](https://ncatlab.org/nlab/show/Yoneda+embedding). It's pretty elementary, but I think worth mentioning for those new to category theory that this is just the Yoneda embedding of the opposite category $Y: C^{op} \to [(C^{op})^{op}, Sets]=[C, Sets]$.

   I added a remark about the contravariant Yoneda embedding $S^1/\mathbb{Z[c \mapsto C(c,-)$ to the page on the Yoneda embedding.

   It’s pretty elementary, but I think worth mentioning for those new to category theory that this is just the Yoneda embedding of the opposite category $Y: C^{op} \to [(C^{op})^{op}, Sets]=[C, Sets]$.