Essentially surjective functor
From Wikipedia, the free encyclopedia
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.
| This category theory-related article is a stub. You can help Wikipedia by expanding it. |
|
|||||
