Contents

# Contents

## Definition

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

## Properties

###### Proposition

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

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.