Assertion: metric space | /r/DefinedAs | short map
Facets:
Source sentences:
text: The collection of metric spaces can be viewed as a category, with a morphism of metric spaces defined as a short map.