When does it make sense to define the dimension of a space to be an infinite ordinal, instead of restricting to infinite cardinals?
We would essentially have to be paying attention to relations on the dimension set in addition to its cardinality, such as a well-ordering -- for example, we have that $\mathbb{R}^{\omega+1}$ has 'dimension' $\omega$ if we only pay attention to cardinality since $|\omega+1|=\omega$, but it can naturally be considered to have dimension $\omega+1$ since there is no order preserving bijection between $\omega+1$ and $\omega$.
While the trivial answer to the above appears to be 'if the dimension set is well-ordered', the discussion here leads me to believe that there are situations where the dimension set does not inherently come with a well-ordering, but can be well-ordered to canonically produce an ordinal dimension value.
Further confounding things is the fact that in the presence of choice any class can be well-ordered, which would indicate that we could always use an ordinal instead of a cardinal if the above trivial answer is correct. I suspect the correct answer is along the lines of 'if the dimension set has a definable well-ordering without choice', but this is just intuition. Any assistance or references would be appreciated.
EDIT: The nature of the space in question has intentionally been left vague; I am interested in any contexts or types of space for which an ordinal dimension makes sense.