Distributive category
From Wikipedia, the free encyclopedia
In mathematics, a category with finite products and finite coproducts is distributive when for every choice of objects A, B and C, the canonical map
![[1\times\iota_1,1\times\iota_2] : A\times B + A\times C\to A\times(B+C)](http://upload.wikimedia.org/math/1/8/7/187cf060e4b9c96d38d52231585ac5ff.png)
is an isomorphism. For example, Set is distributive, while Grp is not.
