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
The notion of initial functor is defined as above, replacing final by initial and colimit by limit.