18B40 - Category theory; homological algebra :: Special categories :: Groupoids, semigroupoids, semigroups, groups