semigroupoid (semigroup + -oid): A form of partial algebra in category theory