The category of uniform spaces as a completion of the category of metric spaces
Jiří Adámek, Jan Reiterman (1992)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A criterion for the existence of an initial completion of a concrete category universal w.r.tḟinite products and subobjects is presented. For metric spaces and uniformly continuous maps this completion is the category of uniform spaces.