It would be interesting to add the category of uniform spaces, with morphisms = uniformly continuous functions. There are multiple sources for this. --- This issue has been created via the submission form on https://catdat.app/category-list
It would be interesting to add the category of uniform spaces, with morphisms = uniformly continuous functions. There are multiple sources for this.
This issue has been created via the submission form on https://catdat.app/category-list