Essentially surjective functor

From Cattheory
Revision as of 01:12, 9 December 2008 by Vipul (talk | contribs) (New page: {{basicdef}} {{functor property}} ==Definition== ===Symbol-free definition=== A functor is termed '''essentially surjective''' if every object in the target category is isomorph...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 .