Loading AI tools
From Wikipedia, the free encyclopedia
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.