Pointwise epimorphism in a functor category
ID: 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.
New to topics? Read the docs here!