Some remarks on biequidimensionality of topological spaces and Noetherian schemes

There are many examples of the fact that dimension and codimension behave somewhat counterintuitively. In EGA it is stated that a topological space is equidimensional, equicodimensional and catenary if and only if every maximal chain of irreducible closed subsets has the same length. We construct examples that show that this is not even true for the spectrum of a Noetherian ring. This gives rise to two notions of biequidimensionality, and we show how these relate to the dimension formula and the existence of a codimension function.