Essentially surjective functor

In category theory, a functor

F:C\to D

is essentially surjective (or dense) 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.

External links

Essentially surjective functor in nLab

Functor types

Additive Adjoint Conservative Derived Diagonal Enriched Essentially surjective Exact Faithful Forgetful Full Logical Monoidal Representable Smooth

This article is issued from Wikipedia - version of the 1/31/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.