Category: SymLMet

SymLMet is the category whose objects are symmetric Lawvere metric spaces and arrows are short maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: SymLMet

This data as json

name objects_hr arrows_hr
SymLMet symmetric Lawvere metric spaces short maps

Links from other tables