Category: LieGrp

LieGrp is the category whose objects are Lie groups and arrows are smooth group maps.

Facts Derived from Enrichment

(LieGrp doesn't seem to have any notable subcategories.)


Has all finite limits


categories: LieGrp

This data as json

name objects_hr arrows_hr
LieGrp Lie groups smooth group maps

Links from other tables