Semigroupoid

partial algebra that satisfies the axioms for a small category