Dimension of CAT spaces

Abstract

We prove that the covering dimension of a metric space with curvature bounded above equals its geometric dimension, without a separability assumption. This resolves a conjecture formulated by Kleiner that goes back to Gromov's work.