semigroupoid semiloopoid hypersemigroup groupoid subsemigroup cocategory pregroupoid loopoid subgroupoid group scheme