Final functor by Wikipedia Bot 0
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.

New to topics? Read the docs here!