Canonical colimit presentation of a covariant set-valued functor

ID: canonical-colimit-presentation-of-a-covariant-set-valued-functor

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.

New to topics? Read the docs here!