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