Semigroupoid is:module

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