Definition 5.11.4. Let $X$ be a topological space. We say $X$ is catenary if for every pair of irreducible closed subsets $T \subset T'$ we have $\text{codim}(T, T') < \infty$ and every maximal chain of irreducible closed subsets

$T = T_0 \subset T_1 \subset \ldots \subset T_ e = T'$

has the same length (equal to the codimension).

There are also:

• 2 comment(s) on Section 5.11: Codimension and catenary spaces

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