For a small category and , the Yoneda lemma gives a canonical pointwise-surjective natural transformationEach representable is projective because evaluation preserves pointwise epimorphisms, and their coproduct is projective. Thus every set-valued functor on a small category is an epimorphic image of a projective object.
Articles by others on the same topic
There are currently no matching articles.