Definition 88.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:

1. $f$ is surjective.

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

There are also:

• 4 comment(s) on Section 88.3: The base category

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).