I'm wondering if there is anything like a manifold that incorporates isomorphisms instead of diffeomorphisms. That could be a topological space that locally is isomorphic to a group, but not globally.
I could think of some problems arising, but my knowledge of algebra is rather sparse. What do you think ?