$TopGrp$ is the category whose objects are topological groups and whose morphisms are continuous group homomorphisms between these.

The category TopGrp of topological groups and continuous group homomorphisms between them is a protomodular category.

See at *topological group – Protomodularity*.

category: category

Last revised on November 24, 2013 at 12:11:57. See the history of this page for a list of all contributions to it.