 Essentially surjective functor

In category theory, an **essentially surjective functor** is a specific type of functor that relates to the structure of the categories involved. Let \( F: \mathcal{C} \to \mathcal{D} \) be a functor between two categories \( \mathcal{C} \) and \( \mathcal{D} \).