Essentially surjective functor

From Wikipedia, the free encyclopedia

In mathematics, specifically in category theory, a functor

is essentially surjective if each object of is isomorphic to an object of the form for some object of .

Any functor that is part of an equivalence of categories is essentially surjective. As a partial converse, any full and faithful functor that is essentially surjective is part of an equivalence of categories.[1]

Notes

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.