Groupoid Semigroup And Category Definitions