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.


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.