Add Semigroupoid