Definition 35.4.5. A ring map $f: R \to S$ is universally injective if it is universally injective as a morphism in $\text{Mod}_ R$.

There are also:

• 4 comment(s) on Section 35.4: Descent for universally injective morphisms

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).