Category: CompNormGrp

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

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: CompNormGrp

This data as json

name objects_hr arrows_hr
CompNormGrp complete normed groups short group maps

Links from other tables