Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Old discussion:
+– {: .query} Mike: Back atcha… do you have any good examples of gauge spaces that are not of one of these types? And is there any value in embedding metric spaces, uniform spaces, and topological spaces into this mysterious larger category , in ways so that their images are essentially disjoint? Do we ever, for instance, want to talk about a short map from a metric space to a topological space, or vice versa? I would like the answer to be “yes,” but I haven’t managed to make it come out that way myself yet.
Toby: I don't know any examples of gauge spaces that arise naturally (you can make them artificially, of course, say as disjoint unions) and don't correspond to some other more familiar type of space. However, I can give examples that don't belong to , , or … because they're Cauchy spaces, which aren't listed above yet!
Incidentally, I didn't list Cauchy spaces yet (and didn't finish describing general topological spaces), since I haven't checked yet that things behave correctly. (In particular, I haven't checked that becomes a full subcategory of —did you?—, although I hope that it will.)
I think that it's nice to be able to see these all as special cases of one kind of thing; then the usual ways of finding the ’underlying’ foo of a bar become reflections (and sometimes coreflections). This is basically how Lowen-Colebunder's book (which I've referenced, for example, on convergence space) works (although her big category of everything is the category of mereological spaces, which includes , rather than ).
Seeing this as inclusions and (co)reflections prevents any expectation that the diagrams above should commute, since they mix different things in the wrong way. On the other hand, it also shows us that (for example) any topological space has an underlying uniform space … if you want it.
Mike: I believe I did check that is full, but you should verify it.
I removed my comments about triangles commuting; go ahead and write about the reflections and I’ll see whether I still want to make that comment. I can see thinking of uniform spaces as “saturated” gauge spaces, so that the uniform space underlying a metric space is its “saturation” (reflection) in the larger category . Perhaps Cauchy spaces can also be thought of this way. I will be kind of surprised if turns out to be reflective in , but if it were that would also be pretty neat.
Mike: I added a new embedding of in , which seems to me more likely to be (co)reflective.
Toby: Ah yes, I think that that's the good one that I wasn't finding. =–
1 to 1 of 1