\begin{definition}[Definition:Category of Topological Groups]
The '''category of topological groups''', denoted $\mathbf{TGrp}$, is the metacategory with:
{{DefineCategory
|ob   = topological groups
|mor  = continuous group homomorphisms
|id   = identity mappings
|comp = composition of mappings
}}
\end{definition}