{"id":"https://openalex.org/W2135434676","doi":"https://doi.org/10.1017/s0960129500000232","title":"Introduction to distributive categories","display_name":"Introduction to distributive categories","publication_year":1993,"publication_date":"1993-09-01","ids":{"openalex":"https://openalex.org/W2135434676","doi":"https://doi.org/10.1017/s0960129500000232","mag":"2135434676"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500000232","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129500000232","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CD0B6B0AD09D9885681E1BF1CB11836E/S0960129500000232a.pdf/div-class-title-introduction-to-distributive-categories-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CD0B6B0AD09D9885681E1BF1CB11836E/S0960129500000232a.pdf/div-class-title-introduction-to-distributive-categories-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053636420","display_name":"J.R.B. Cockett","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"J. R. B. Cockett","raw_affiliation_strings":["Department of Computer Science, University of Calgary","Department of Computer Science University of Calgary#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Calgary","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"Department of Computer Science University of Calgary#TAB#","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053636420"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":3.4733,"has_fulltext":true,"cited_by_count":76,"citation_normalized_percentile":{"value":0.93132683,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"3","issue":"3","first_page":"277","last_page":"307"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.951200008392334,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.951200008392334,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9248999953269958,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.9462850689888},{"id":"https://openalex.org/keywords/coproduct","display_name":"Coproduct","score":0.8399312496185303},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6942006349563599},{"id":"https://openalex.org/keywords/distributivity","display_name":"Distributivity","score":0.5735685229301453},{"id":"https://openalex.org/keywords/enriched-category","display_name":"Enriched category","score":0.5389784574508667},{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.5328377485275269},{"id":"https://openalex.org/keywords/closed-category","display_name":"Closed category","score":0.519985020160675},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.4806767404079437},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.45273488759994507},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3851860761642456},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3612516522407532},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3467544913291931},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.07694664597511292}],"concepts":[{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.9462850689888},{"id":"https://openalex.org/C36259021","wikidata":"https://www.wikidata.org/wiki/Q692689","display_name":"Coproduct","level":2,"score":0.8399312496185303},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6942006349563599},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.5735685229301453},{"id":"https://openalex.org/C156163052","wikidata":"https://www.wikidata.org/wiki/Q5379515","display_name":"Enriched category","level":3,"score":0.5389784574508667},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.5328377485275269},{"id":"https://openalex.org/C7879355","wikidata":"https://www.wikidata.org/wiki/Q5135329","display_name":"Closed category","level":3,"score":0.519985020160675},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.4806767404079437},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.45273488759994507},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3851860761642456},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3612516522407532},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3467544913291931},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.07694664597511292}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129500000232","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129500000232","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CD0B6B0AD09D9885681E1BF1CB11836E/S0960129500000232a.pdf/div-class-title-introduction-to-distributive-categories-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0960129500000232","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129500000232","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CD0B6B0AD09D9885681E1BF1CB11836E/S0960129500000232a.pdf/div-class-title-introduction-to-distributive-categories-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6800000071525574}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320591","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2135434676.pdf","grobid_xml":"https://content.openalex.org/works/W2135434676.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W582409483","https://openalex.org/W1976332150","https://openalex.org/W2120713972","https://openalex.org/W2132146242","https://openalex.org/W2505523100","https://openalex.org/W2913448946","https://openalex.org/W4298136603","https://openalex.org/W6616926962"],"related_works":["https://openalex.org/W2963810482","https://openalex.org/W2050478998","https://openalex.org/W4244360710","https://openalex.org/W1986885420","https://openalex.org/W2995356165","https://openalex.org/W2415965387","https://openalex.org/W2797260282","https://openalex.org/W2080315157","https://openalex.org/W2118319342","https://openalex.org/W2135434676"],"abstract_inverted_index":{"Distributive":[0],"category":[1,49,56,72,107,116,161,190,204,218],"theory":[2],"is":[3,31,50,67,108,117,128,178,232,253],"the":[4,17,25,35,40,73,76,106,115,170,233,246,257],"study":[5],"of":[6,13,75,185,228,236,249],"categories":[7,135,231,237,262,268],"with":[8,57,79,238],"two":[9],"monoidal":[10],"structures,":[11],"one":[12],"which":[14,37,148,252,270],"\u201cdistributes\u201d":[15],"over":[16],"other":[18],"in":[19,139,147],"some":[20],"manner.":[21],"When":[22],"these":[23,120],"are":[24,150,155,157],"product":[26],"and":[27,60,166,176],"coproduct,":[28],"this":[29,65,244],"distribution":[30],"taken":[32,52],"to":[33,53,174,209],"be":[34,137,206,220,264],"law":[36,66],"asserts":[38],"that":[39,64,119],"obvious":[41],"canonical":[42],"map":[43,101],"has":[44,191,273],"an":[45,129,211],"inverse.":[46],"A":[47,225],"distributive":[48,71,111,131,134,145,189,199,203,213,217,230,258,261,267],"here":[51],"mean":[54],"a":[55,85,95,103,109,160,183,192,197,223,274],"finite":[58,164,240,275],"products":[59,165],"binary":[61,167],"coproducts":[62,149,168],"such":[63,100,118],"satisfied.":[68],"In":[69,242],"any":[70],"coproduct":[74,234,247],"final":[77],"object":[78,272],"itself,":[80],"1":[81,91,93],"+":[82,92],"1,":[83],"forms":[84],"boolean":[86,96],"algebra.":[87],"Thus,":[88],"maps":[89],"into":[90,196,222,277],"provide":[94],"logic:":[97],"if":[98],"each":[99],"recognizes":[102],"unique":[104],"subobject,":[105],"recognizable":[110,144,198,202],"category.":[112,132,200,214],"If,":[113],"furthermore,":[114],"recognizers":[121],"classify":[122],"detachable":[123],"subobjects":[124],"(coproduct":[125],"embeddings),":[126],"it":[127],"extensive":[130,212,216,229],"Extensive":[133],"can":[136,205,219,263],"approached":[138],"various":[140],"ways.":[141],"For":[142],"example,":[143],"categories,":[146,251],"disjoint":[151],"or":[152],"all":[153],"preinitials":[154],"isomorphic,":[156],"extensive.":[158,179],"Also,":[159],"X":[162],"having":[163],"satisfying":[169],"slice":[171],"equation":[172],"(due":[173],"Schanuel":[175],"Lawvere)":[177],"This":[180],"paper":[181],"describes":[182],"series":[184],"embedding":[186,195],"theorems.":[187],"Any":[188,201,215],"full":[193],"faithful":[194],"\"solidified\"":[207],"faithfully":[208],"produce":[210],"embedded":[221],"topos.":[224],"peculiar":[226],"source":[227],"completion":[235,248],"familial":[239],"products.":[241],"particular,":[243],"includes":[245],"cartesian":[250],"serendipitously,":[254],"therefore,":[255],"also":[256],"completion.":[259],"Familial":[260],"characterized":[265],"as":[266],"for":[269],"every":[271],"decomposition":[276],"indecomposables.":[278]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}