Category: LMet

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

Facts Derived from Enrichment

LMet is a 2-poset, a locally posetal or 2-thin 2-category (enriched in Pos).

Notable Subcategories



categories: LMet

This data as json

name objects_hr arrows_hr
LMet Lawvere metric spaces short maps

Links from other tables