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

d:A\times B+A\times C\to A\times(B+C)

is an isomorphism. For example, Set is distributive, while Grp is not.

This category theory-related article is a stub. You can help Wikipedia by expanding it.