Category: NormGrp

NormGrp is the category whose objects are normed groups and arrows are short group maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: NormGrp

This data as json

name objects_hr arrows_hr
NormGrp normed groups short group maps

Links from other tables