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.
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.