Categorical methods in dimension theory