As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division satisfying the appropriate abelian group equations and distributive law.
Any monoid (any algebraic structure with a single associative binary operation and an identity element) forms a small category with a single object "x".