A covariant functor is representable when it is naturally isomorphic to for some object ; a contravariant functor is representable when it is naturally isomorphic to .
The Yoneda lemma gives natural bijections
(1)
and their contravariant analogues.

Ancestors (8)

  1. Functor category
  2. Functor
  3. Category
  4. Category theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. Home

Incoming links (1)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version