Definition:Category of Topological Groups

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

Also see

 * Category of Topological Groups is Category