Category: TopGrp

TopGrp is the category whose objects are topological groups and arrows are continuous group maps.

Facts Derived from Enrichment

(TopGrp doesn't seem to have any notable subcategories.)

Limits

Has all finite limits

Colimits

categories: TopGrp

This data as json

name objects_hr arrows_hr
TopGrp topological groups continuous group maps

Links from other tables