Semigroupoid

A **semigroupoid** is an algebraic structure that generalizes the notion of a semigroup to a situation where the elements can be thought of as processes or mappings rather than simple algebraic objects. More formally, a semigroupoid can be defined as a category in which every morphism (or arrow) is invertible, but it has a single object, or it can be thought of as a partially defined operation among elements.