Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001462012> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2001462012 endingPage "158" @default.
- W2001462012 startingPage "145" @default.
- W2001462012 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." @default.
- W2001462012 created "2016-06-24" @default.
- W2001462012 creator A5013451724 @default.
- W2001462012 creator A5047454525 @default.
- W2001462012 creator A5073756839 @default.
- W2001462012 date "1993-02-01" @default.
- W2001462012 modified "2023-10-09" @default.
- W2001462012 title "Introduction to extensive and distributive categories" @default.
- W2001462012 cites W142852063 @default.
- W2001462012 cites W1581728838 @default.
- W2001462012 cites W182207098 @default.
- W2001462012 cites W938873559 @default.
- W2001462012 doi "https://doi.org/10.1016/0022-4049(93)90035-r" @default.
- W2001462012 hasPublicationYear "1993" @default.
- W2001462012 type Work @default.
- W2001462012 sameAs 2001462012 @default.
- W2001462012 citedByCount "228" @default.
- W2001462012 countsByYear W20014620122012 @default.
- W2001462012 countsByYear W20014620122013 @default.
- W2001462012 countsByYear W20014620122014 @default.
- W2001462012 countsByYear W20014620122015 @default.
- W2001462012 countsByYear W20014620122016 @default.
- W2001462012 countsByYear W20014620122017 @default.
- W2001462012 countsByYear W20014620122018 @default.
- W2001462012 countsByYear W20014620122019 @default.
- W2001462012 countsByYear W20014620122020 @default.
- W2001462012 countsByYear W20014620122021 @default.
- W2001462012 countsByYear W20014620122022 @default.
- W2001462012 countsByYear W20014620122023 @default.
- W2001462012 crossrefType "journal-article" @default.
- W2001462012 hasAuthorship W2001462012A5013451724 @default.
- W2001462012 hasAuthorship W2001462012A5047454525 @default.
- W2001462012 hasAuthorship W2001462012A5073756839 @default.
- W2001462012 hasBestOaLocation W20014620121 @default.
- W2001462012 hasConcept C111472728 @default.
- W2001462012 hasConcept C115624301 @default.
- W2001462012 hasConcept C11821877 @default.
- W2001462012 hasConcept C11846945 @default.
- W2001462012 hasConcept C128520899 @default.
- W2001462012 hasConcept C138390121 @default.
- W2001462012 hasConcept C138885662 @default.
- W2001462012 hasConcept C156772000 @default.
- W2001462012 hasConcept C185592680 @default.
- W2001462012 hasConcept C189950617 @default.
- W2001462012 hasConcept C202444582 @default.
- W2001462012 hasConcept C203436722 @default.
- W2001462012 hasConcept C2780069185 @default.
- W2001462012 hasConcept C33923547 @default.
- W2001462012 hasConcept C7879355 @default.
- W2001462012 hasConcept C8010536 @default.
- W2001462012 hasConcept C99633028 @default.
- W2001462012 hasConceptScore W2001462012C111472728 @default.
- W2001462012 hasConceptScore W2001462012C115624301 @default.
- W2001462012 hasConceptScore W2001462012C11821877 @default.
- W2001462012 hasConceptScore W2001462012C11846945 @default.
- W2001462012 hasConceptScore W2001462012C128520899 @default.
- W2001462012 hasConceptScore W2001462012C138390121 @default.
- W2001462012 hasConceptScore W2001462012C138885662 @default.
- W2001462012 hasConceptScore W2001462012C156772000 @default.
- W2001462012 hasConceptScore W2001462012C185592680 @default.
- W2001462012 hasConceptScore W2001462012C189950617 @default.
- W2001462012 hasConceptScore W2001462012C202444582 @default.
- W2001462012 hasConceptScore W2001462012C203436722 @default.
- W2001462012 hasConceptScore W2001462012C2780069185 @default.
- W2001462012 hasConceptScore W2001462012C33923547 @default.
- W2001462012 hasConceptScore W2001462012C7879355 @default.
- W2001462012 hasConceptScore W2001462012C8010536 @default.
- W2001462012 hasConceptScore W2001462012C99633028 @default.
- W2001462012 hasIssue "2" @default.
- W2001462012 hasLocation W20014620121 @default.
- W2001462012 hasOpenAccess W2001462012 @default.
- W2001462012 hasPrimaryLocation W20014620121 @default.
- W2001462012 hasRelatedWork W1522992405 @default.
- W2001462012 hasRelatedWork W1983244685 @default.
- W2001462012 hasRelatedWork W2001462012 @default.
- W2001462012 hasRelatedWork W2117460910 @default.
- W2001462012 hasRelatedWork W2381615545 @default.
- W2001462012 hasRelatedWork W2962415900 @default.
- W2001462012 hasRelatedWork W4254487721 @default.
- W2001462012 hasRelatedWork W4294090869 @default.
- W2001462012 hasRelatedWork W4297776633 @default.
- W2001462012 hasRelatedWork W4299616932 @default.
- W2001462012 hasVolume "84" @default.
- W2001462012 isParatext "false" @default.
- W2001462012 isRetracted "false" @default.
- W2001462012 magId "2001462012" @default.
- W2001462012 workType "article" @default.