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.)


Has all finite limits


categories: TopGrp

This data as json

name objects_hr arrows_hr
TopGrp topological groups continuous group maps

Links from other tables