Page "Group object" Paragraph 0

In category theory, a branch of mathematics, group objects are certain generalizations of groups which are built on more complicated structures than sets.

A typical example of a group object is a topological group, a group whose underlying set is a topological space such that the group operations are continuous.