 Final functor

A functor $F:\mathcal{C}\to \mathcal{D}$ is final when every comma category $(B\downarrow F)$ is nonempty and connected. Colimits are unchanged after restriction along a final functor.

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.