/math/hs-semigroupoids/