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 |