Semigroupoids: Category sans id
