Definition:Category of Topological Groups

Definition

The category of topological groups, denoted $\mathbf{TGrp}$, is the metacategory with:

Objects:		topological groups
Morphisms:		continuous group homomorphisms
Composition:		composition of mappings
Identity morphisms:		identity mappings

Also see

• Category of Topological Groups is Category