Final functor

In Category theory, the notion of final functor (resp., initial functor) is a generalization of the notion of final object (resp., initial object) in a category.

A functor is called final if, for any set-valued functor , the colimit of G is the same as the colimit of . Note that an object d∈Ob(D) is a final object in the usual sense if and only if the functor is a final functor as defined here.

The notion of initial functor is defined as above, replacing final by initial and colimit by limit.

References

See also

This article is issued from Wikipedia - version of the 4/18/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.