Introduction of the semigroupoid.
Formally, a semigroupoid consists of
such that the following axiom holds:
morphism composition
Right-to-left composition. This is the same a ordinary composition with Semigroupoid.•.
Left-to-right composition
The semigroupoid of Frege values where morphisms are functions.
function composition