Essentially surjective functor
is essentially surjective (or dense) if each object of is isomorphic to an object of the form for some object of . Any functor which is part of an equivalence is essentially surjective.
|This category theory-related article is a stub. You can help Wikipedia by expanding it.|