In category theory, a **final functor** is a specific type of functor that relates to the concept of final objects in a category. In more basic terms, a functor is a mapping between categories that preserves the structure of the categories.
Articles by others on the same topic
A functor is final when every comma category is nonempty and connected. Colimits are unchanged after restriction along a final functor.