Definitions

# Essentially surjective functor

In category theory, a functor

$F:Cto D$

is essentially surjective if each object $d$ of $D$ is isomorphic to an object of the form $Fc$ for some object $c$ of $C$. Any functor which is part of an equivalence is essentially surjective.

Search another word or see essentiallyon Dictionary | Thesaurus |Spanish