Definition 89.3.9. Let $f: B \to A$ be a ring map in $\mathcal{C}_\Lambda $. We say $f$ is an *essential surjection* if it has the following properties:

$f$ is surjective.

If $g: C \to B$ is a ring map in $\mathcal{C}_\Lambda $ such that $f \circ g$ is surjective, then $g$ is surjective.

## Comments (0)

There are also: