I don’t disagree that one can define dimension for a manifold (topological or differentiable). I was replying to the parent comment and so I was pointing out th

I don’t disagree that one can define dimension for a manifold (topological or differentiable). I was replying to the parent comment and so I was pointing out that dimension isn’t really well defined for a general topological space.