Vipul: New page: {{basicdef}} {{functor property}} ==Definition== ===Symbol-free definition=== A functor is termed '''essentially surjective''' if every object in the target category is isomorph...

2008-12-09T01:12:38Z

New page: {{basicdef}} {{functor property}} ==Definition== ===Symbol-free definition=== A functor is termed '''essentially surjective''' if every object in the target category is isomorph...

New page

{{basicdef}}
{{functor property}}

==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]] <math>\mathcal{F}:\mathcal{C} \to \mathcal{D}</math> is termed ''essentially surjective''' if for any <math>B \in \mathcal{D}</math>, there exists <math>A \in \mathcal{C}</math> such that <math>\mathcal{F}(A)</math> is isomorphic to <math>B</math>.

Essentially surjective functor - Revision history

Vipul: New page: {{basicdef}} {{functor property}} ==Definition== ===Symbol-free definition=== A functor is termed '''essentially surjective''' if every object in the target category is isomorph...