A group is an ordered pair
where respecting the following axioms:

  1. Associativity: for any we have
  2. There is some element with for all
  3. Every element has an inverse such that:

Category Theory Definition

A group is a Monoid in which all morphisms are Isomorphisms.