bimonoidally-strict-distributive-category

Bimonoidal categories do not admit strictification of both distributors at the same time because one of them is derived by a symmetry over the other.

Tags: distributive category, bimonoidal category.