strict-monoidal-categories-and-coherence