@YuiToCheng Agreed. Hausdorff dimension has a special place in the literature, as it plays nice with the Lebesgue measure (in the sense that $n$ dimensional Hausdorff measure is Lebesgue measure, up to a constant).
@Andrews Global dimension is something with which I am unfamiliar. A quick googlin' reveals that it likely fits under the banner of "algebraic notions of dimension". I'm no help here.
@XanderHenderson That sound reasonable, although we should ask @rschwieb if we want to have confirmation from an expert. I have included related tags into the tag-wiki for dimension-theory-algebra.
@MartinSleziak @XanderHenderson Yes, I'd classify global dimension as algebraic. I haven't heard it applied to anything other than rings.
@YuiToCheng I like the idea of keeping certain specific dimension tags. Like hausdorff-dimension, I think Krull-dimension will remain a relevant tag. (Just lending my support to what you said.)
