We say that a duoidal category is strict whenever its base monoidal category is strict and, moreover, the duoidal coherence maps are identities.
We say that a duoidal category is strict whenever its base monoidal category is strict and, moreover, the duoidal coherence maps are identities.