with semigroupds. A Semigroupoid is a Category without the requirement of identity arrows for every object in the category. ok ajacoutot@