nLab
TopGrp

Contents

Definition

TopGrpTopGrp 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.

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.