Essentially surjective functor
This article is about a basic definition in category theory. The article text may, however, contain more material. Rate its utility as a basic definition article on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in category theory
This article defines a functor property: a property that can be evaluated to true/false given a functor between two categories.
View a complete list of functor properties|Get functor property lookup help |Get exploration suggestions
Definition
Symbol-free definition
A functor is termed essentially surjective if every object in the target category is isomorphic to the image under the functor of some object in the source category.
Definition with symbols
A functor is termed essentially surjective' if for any , there exists such that is isomorphic to .