Update for Semigroupoid