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