Essentially surjective functor

In category theory, a functor

F:Cto D

is essentially surjective if each object d of D is isomorphic to an object of the form Fc for some object c of C. Any functor which is part of an equivalence is essentially surjective.

Search another word or see essentiallyon Dictionary | Thesaurus |Spanish
Copyright © 2015, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature