Introduction to distributive categories
Introduction to distributive categories
Distributive category theory is the study of categories with two monoidal structures, one of which “distributes” over the other in some manner. When these are the product and coproduct, this distribution is taken to be the law which asserts that the obvious canonical map has an inverse. A distributive category …