Lemma 27.11.3. Let $S$ be a locally Noetherian scheme. The following are equivalent:

1. $S$ is catenary, and

2. locally in the Zariski topology there exists a dimension function on $S$ (see Topology, Definition 5.20.1).

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