Definition 10.54.1. Let $R \to S$ be a ring map.

We say that $R \to S$ is

*essentially of finite type*if $S$ is the localization of an $R$-algebra of finite type.We say that $R \to S$ is

*essentially of finite presentation*if $S$ is the localization of an $R$-algebra of finite presentation.

## Comments (4)

Comment #2605 by Oliver on

Comment #2606 by Johan on

Comment #6988 by Zhouhang Mᴀᴏ on

Comment #7221 by Johan on

There are also: