### Abstract

In recent years, there has been considerable discussion as to the appropriate definition of distributive categories. Three definitions which have had some support are: (1) A category with finite sums and products such that the canonical map δ:A×B+ A×C→A×(B+C) is an isomorphism (Walters). (2) A category with finite sums and products such that the canonical functor +:A/A× A/B→A/(A+B) is an equivalence (Monro). (3) A category with finite sums and finite limits such that the canonical functor + of (2) is an equivalence (Lawvere and Schanuel). There has been some confusion as to which of these was the natural notion to consider. This resulted from the fact that there are actually two elementary notions being combined in the above three definitions. The first, to which we give the name distributivity, is exactly that of (1). The second notion, which we shall call extensivity, is that of a category with finite sums for which the canonical functor + of definitions (2) and (3) is an equivalence. Extensivity, although it implies the existence of certain pullbacks, is essentially a property of having well-behaved sums. It is the existence of these pullbacks which has caused the confusion. The connections between definition (1) and definitions (2) and (3) are that any extensive category with products is distributive in the first sense, and that any category satisfying (3) satisfies (1) locally. The purpose of this paper is to present some basic facts about extensive and distributive categories, and to discuss the relationships between the two notions.

Original language | English |
---|---|

Pages (from-to) | 145-158 |

Number of pages | 14 |

Journal | Journal of Pure and Applied Algebra |

Volume | 84 |

Issue number | 2 |

DOIs | |

Publication status | Published - 3 Feb 1993 |

Externally published | Yes |

## Fingerprint Dive into the research topics of 'Introduction to extensive and distributive categories'. Together they form a unique fingerprint.

## Cite this

*Journal of Pure and Applied Algebra*,

*84*(2), 145-158. https://doi.org/10.1016/0022-4049(93)90035-R