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 Sunday, January 31, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.