Essentially surjective functor
= Essentially surjective functor
{wiki=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\} \\).