distributive category

See also.

• distributive categories are not linearly distributive
• distributive Markov category
• distributive quiver
• bimonoidal category, where the coproduct is only a second tensor.
• the problem of fully strict bimonoidals, which also applies here.

References.

• Introduction to extensive and distributive categories (Carboni, Lack, Walters, 1993)
• An Imperative Language Based on Distributive Categories (Walters, 1992)