Finality of a functor
ID: finality-of-a-functor
The finality property of a functor means every required comma category is nonempty and connected. It is the condition defining a final functor; the displayed criterion uses categorical connected components.
New to topics? Read the docs here!