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