This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: there's more than one proposed notion under this name, see last ref in further reading. Please help improve this article if you can.(July 2014) (Learn how and when to remove this message)
In mathematics, a category is distributive if it has finite products and finite coproducts and 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 .[1] 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.
^Taylor, Paul (1999). Practical Foundations of Mathematics. Cambridge University Press. p. 275.
and 23 Related for: Distributive category information
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...
In mathematics, the distributive property of binary operations is a generalization of the distributive law, which asserts that the equality x ⋅ ( y + z...
which make up the body's tissues and organs. Distributive shock is different from the other three categories of shock in that it occurs even though the...
Distributive justice concerns the socially just allocation of resources, goods, opportunity in a society. It is concerned with how to allocate resources...
poset may be defined as a small posetal category, a distributive lattice as a small posetal distributivecategory, a Heyting algebra as a small posetal...
duality theory for distributive lattices provides three different (but closely related) representations of bounded distributive lattices via Priestley...
In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such...
Distributivity An operation ∗ {\displaystyle *} is distributive with respect to another operation + {\displaystyle +} if it is both left distributive...
In category theory, an abstract branch of mathematics, distributive laws between monads are a way to express abstractly that two algebraic structures distribute...
, "single") and adverbs (multiplicative numerals, e.g., "once", and distributive numerals, e.g., "singly"). Eight or nine parts of speech are commonly...
For further information, see Pronoun § Linguistics. Distributive determiners, also called distributive adjectives, consider members of a group separately...
isomorphism. In a Cartesian closed category, every initial object is strict. Also, if C is a distributive or extensive category, then the initial object 0 of...
ring is bilinear (distributive), this makes R a preadditive category. Category theorists will often think of the ring R and the category R as two different...
linearly distributivecategory with (left and right) negations; such categories have two monoidal products linked with a sort of distributive law. In the...
other categories. Notably, both the forgetful functors from the category of frames and frame-homomorphisms, and from the category of distributive lattices...
and finite distributive lattices. In pointless topology the category of spatial locales is known to be equivalent to the dual of the category of sober spaces...
— Ralph Waldo Emerson Besides distributive pronouns, there are also distributive determiners (also called distributive adjectives). The pronouns and determiners...
with limits that are strict and even small." According to Belloc, the distributive state (the state which has implemented distributism) contains "an agglomeration...
additive inverse. At the same time, it is a generalization of bounded distributive lattices. The smallest semiring that is not a ring is the two-element...
forming relationships with other parties, or maximizing mutual gains. Distributive negotiations, or compromises, are conducted by putting forward a position...
rig category is equivalent to a semi-strict one. Kelly, G. M. (1974). "Coherence theorems for lax algebras and for distributive laws". Category Seminar...
Origin of the word 'Quandle'". The n-Category Cafe. Retrieved 5 June 2015. Matveev, Sergei (1984). "Distributive groupoids in knot theory". Math. USSR...
and category theory supported by the Pacific Institute for the Mathematical Sciences (PIMS). His most cited publications include: Weakly distributive categories...