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!