groupoid semigroup semiloopoid semicategory semigroup homomorphism setoid inverse system semiautomaton algebroid cocategory