Essentially surjective functor

In category theory, a 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.

External links

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.