{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:00:41Z","timestamp":1770274841037,"version":"3.49.0"},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5663,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,9]]},"abstract":"Distributive category theory is the study of categories with two monoidal structures, one of which \u201cdistributes\u201d over the other in some manner. When these are the product and coproduct, this distribution is taken to be the law<\/jats:p><\/jats:disp-formula><\/jats:p>which asserts that the obvious canonical map has an inverse. A distributive category<\/jats:italic> is here taken to mean a category with finite products and binary coproducts such that this law is satisfied.<\/jats:p>In any distributive category the coproduct of the final object with itself, 1 + 1, forms a boolean algebra. Thus, maps into 1 + 1 provide a boolean logic: if each such map recognizes a unique subobject, the category is a recognizable distributive category. If, furthermore, the category is such that these recognizers classify detachable subobjects (coproduct embeddings), it is an extensive distributive category.<\/jats:p>Extensive distributive categories can be approached in various ways. For example, recognizable distributive categories, in which coproducts are disjoint or all preinitials are isomorphic, are extensive. Also, a category X having finite products and binary coproducts satisfying the slice equation (due to Schanuel and Lawvere) is extensive. This paper describes a series of embedding theorems. Any distributive category has a full faithful embedding into a recognizable distributive category. Any recognizable distributive category can be \"solidified\" faithfully to produce an extensive distributive category. Any extensive distributive category can be embedded into a topos.<\/jats:p>A peculiar source of extensive distributive categories is the coproduct completion of categories with familial finite products. In particular, this includes the coproduct completion of cartesian categories, which is serendipitously, therefore, also the distributive completion. Familial distributive categories can be characterized as distributive categories for which every object has a finite decomposition into indecomposables.<\/jats:p>","DOI":"10.1017\/s0960129500000232","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:02:15Z","timestamp":1236157335000},"page":"277-307","source":"Crossref","is-referenced-by-count":47,"title":["Introduction to distributive categories"],"prefix":"10.1017","volume":"3","author":[{"given":"J. R. B.","family":"Cockett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000232_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S0960129500000232_ref008","volume-title":"Topos theory","author":"Johnstone","year":"1977"},{"key":"S0960129500000232_ref007","unstructured":"Grothendiek A. and Verdier J. L. (1972) Th\u00e9orie des topos, (SGA 4, expos\u00e9 I-IV). Second edition. Springer- Verlag Lecture Notes in Mathematics 269\u2013270."},{"key":"S0960129500000232_ref004","article-title":"Categories of boolean sheaves of simple algebras","volume":"1187","author":"Diers","year":"1985","journal-title":"Springer-Verlag Lecture Notes in Mathematics"},{"key":"S0960129500000232_ref006","volume-title":"Ergebnisse der Mathematik und Ihre Grenzgebiete, New Series","volume":"35","author":"Gabriel","year":"1967"},{"key":"S0960129500000232_ref003","first-page":"190","volume-title":"IV Higher Order Workshop, Banff 1990","author":"Cockett","year":"1991"},{"key":"S0960129500000232_ref001","volume-title":"Grundlehren der mathematischen Wis-senschaften","volume":"278","author":"Barr","year":"1985"},{"key":"S0960129500000232_ref013","unstructured":"Sydney Category Seminars (1990) Sydney category seminar abstracts."},{"key":"S0960129500000232_ref009","first-page":"275","article-title":"A remark on Mackey-functors","volume":"18","author":"Lintner","year":"1976","journal-title":"Manuscripta math"},{"key":"S0960129500000232_ref011","doi-asserted-by":"publisher","DOI":"10.1080\/00927878808823693"},{"key":"S0960129500000232_ref012","unstructured":"Sydney Category Seminars (1988) Sydney category seminar abstracts."},{"key":"S0960129500000232_ref002","unstructured":"Cockett J. R. B. (1989) Distributive logic, University of Tennessee, Department of Computer Science, Technical Report CS-89\u201301."},{"key":"S0960129500000232_ref005","first-page":"183","volume-title":"Springer-Verlag Lecture Notes in Mathematics","volume":"342","author":"Dress","year":"1973"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T21:43:31Z","timestamp":1557956611000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000232\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["S0960129500000232"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000232","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}