Pointwise epimorphism in a functor category
= Pointwise epimorphism in a functor category
A natural transformation in a set-valued <functor category> is an <epimorphism> exactly when every component is a <surjective function>. More generally, limits and colimits in a functor category are computed pointwise whenever they exist in the codomain.