Semigroupoid package:invertible

Convert bijections to and from semigroupoids Iso.