Category: Met

Met is the category whose objects are metric spaces and arrows are short maps.

Facts Derived from Enrichment

Notable Subcategories


Has a terminal object


Has an initial object

categories: Met

This data as json

name objects_hr arrows_hr
Met metric spaces short maps

Links from other tables