abstract:In mathematics, a semigroupoid is a partial algebra which satisfies the axioms for a small category, except possibly for the requirement that there be an identity at each object. Semigroupoids generalise semigroups in the same way that small categories generalise monoids and groupoids generalise groups, and have applications in the structural theory of semigroups.