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