semigroupoid
partial algebra that satisfies the axioms for a small category
semigroup
algebraic structure with an associative binary operation
small category
category whose objects and morphisms both form sets
partial algebra that satisfies the axioms for a small category