semigroupoid products and coproducts