Definition 9.6.6.1.1 (013K): Essentially Surjective Functors

Preferences





Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

*To be replaced with Linus Romer's Elemaints when it is released.

A functor $F : C \to D$ is essentially surjective¹ if it satisfies the following condition:

For each $D \in Obj (D)$ , there exists some object $A$ of $C$ such that $F (A) ≅ D$ .

¹Further Terminology: Also called an eso functor, where the name “eso” comes from essentially surjective on objects.

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: