Lifting scheme: Difference between revisions

Revision as of 08:02, 24 July 2013

F:C\to D

is essentially surjective (or dense) 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.

Template:Categorytheory-stub Template:Functors

@@ Line 1: / Line 1: @@
-Irwin Butts is what my spouse enjoys to call me although I don't really like being known as like that. Hiring is his profession. To gather coins is a thing that I'm totally addicted to. Years ago we moved to Puerto Rico and my family enjoys it.<br><br>Also visit my website: [http://www.revleft.com/vb/member.php?u=160656 home std test]
+In [[category theory]], a [[functor]]
+:<math>F:C\to D</math>
+is '''essentially surjective''' (or '''dense''') if each object <math>d</math> of <math>D</math> is isomorphic to an object of the form <math>Fc</math> for some object <math>c</math> of <math>C</math>. Any functor which is part of an [[Equivalence of categories|equivalence]] is essentially surjective.
+{{Categorytheory-stub}}
+{{Functors}}
+[[Category:Functors]]

Lifting scheme: Difference between revisions

Revision as of 08:02, 24 July 2013

Navigation menu

Search