the problem of fully strict bimonoidals

• bimonoidally strict distributive category

Tags: Bimonoidal category