Semigroupoid -is:package

A semigroupoid satisfies all of the requirements to be a Category except for the existence of identity arrows.
Category sans id
Category sans id
Convert bijections to and from semigroupoids Iso.