Every functor on a small category is the colimit of the covariant representable functors indexed by the opposite of its category of elements. The cocone indexed by sends to . By the Yoneda lemma, a compatible cocone into is exactly a natural transformation . The opposite indexing direction is essential because precomposition reverses the representing-object arrow.
Articles by others on the same topic
There are currently no matching articles.