Category of Groups: LieGrp
LieGrp is a subcategory of Man whose objects are all internal groups:
Grp(Man) ≅ LieGrp
categories_of_groups: Man
This data as json
| internal_groups | parent |
|---|---|
| LieGrp | Man |
LieGrp is a subcategory of Man whose objects are all internal groups:
This data as json
| internal_groups | parent |
|---|---|
| LieGrp | Man |