In mathematics, a category is distributive if it has finite products and finite coproducts and such that for every choice of objects A, B, C {\displaystyle A,B,C}, the canonical map [ i d A × ι 1, i d A × ι 2 ] : A × B + A × C → A × {\displaystyle [{\mathit {id}}_{A}\times \iota _{1},{\mathit {id}}_{A}\times \iota _{2}]:A\! Wikipedia