Distributive Category

(Category Theory)


Category Theory
Link to Dbpedia

What is Distributive category?

In mathematics, a category is distributive if it has finite products and finite coproducts such that for every choice of objects , the canonical map is an isomorphism, and for all objects , the canonical map is an isomorphism (where 0 denotes the initial object). Equivalently, if for every object the endofunctor defined by preserves coproducts up to isomorphisms . It follows that and aforementioned canonical maps are equal for each choice of objects. In particular, if the functor 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.

Technology Types

category theory

Tech Info

Source: [object Object]
 — Date merged: 11/6/2021, 1:32:51 PM
 — Date scraped: 5/20/2021, 6:02:40 PM