Assertion: metric space | /r/HasProperty | bounded by 1 and short maps
Facets:
Source sentences:
text: However, the discrete metric space is free in the category of bounded metric spaces and Lipschitz continuous maps, and it is free in the category of metric spaces bounded by 1 and short maps.