reduction-in-symmetric-monoidal-categories