A Small Category with one object is a monoid (morphisms being elements). In other words it satisfies: Associativity There is an identity element