@diffgeom I wish I knew enough topology and complex analysis to find this intuitive 😅
I was thinking along these lines. One wants to be able to say, for example, that the map from a matrix to its eigenvalues is continuous. How would one formalize that? In fact this is a many-to-many map, so I'm not sure it's possible to perform a useful quotient here.