Canonical semigroups

We define abstract canonical semigroups modeled after the canonical reductive monoids associated with the canonical compactification of a group of adjoint type. It then becomes possible for us to come up with semigroups having some of the algebraic properties of monoids of Lie type (without first starting with a group).