For a locally small category , every representable functor is a projective object in a category in . The Yoneda lemma identifies maps from this functor with elements at , and the pointwise epimorphism in a functor category criterion lets such an element be lifted through any epimorphism.
Articles by others on the same topic
There are currently no matching articles.