Essentially surjective functor

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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[edit]