Map (higher-order function)

In mathematics, a category is distributive if it has finite products and finite coproducts such that for every choice of objects $A,B,C$, the canonical map

$[{\mathit {id}}_{A}\times \iota _{1},{\mathit {id}}_{A}\times \iota _{2}]:A\times B+A\times C\to A\times (B+C)$

is an isomorphism, and for all objects $A$, the canonical map $0\to A\times 0$ is an isomorphism. Equivalently. if for every object $A$ the functor $A\times -$ preserves coproducts up to isomorphisms $f$. It follows that $f$ and aforementioned canonical maps are equal for each choice of objects.

In particular, if the functor $A\times -$ has a right adjoint (i.e., if the category is cartesian closed), it necessarily preserves all colimits, and thus any cartesian closed category with finite coproducts (i.e., any bicartesian closed category) is distributive.

For example, Set is distributive, while Grp is not, even though it has both products and coproducts.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

Template:Categorytheory-stub