The Stacks project

Definition 68.25.4. Let $S$ be a scheme. Let $X$ be a decent and locally Noetherian algebraic space over $S$. We say $X$ is universally catenary if for every morphism $Y \to X$ of algebraic spaces which is locally of finite type and with $Y$ decent, the algebraic space $Y$ is catenary.