Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060984753> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2060984753 endingPage "29" @default.
- W2060984753 startingPage "1" @default.
- W2060984753 abstract "A finitely complete category with stable disjoint coproducts and a parameterized list construction is called a locos . The paper proves that the property of being a locos is local in the sense of being inherited by slice categories. This is proven by establishing two important properties of the list construction in this setting. The first of these is that lists can be characterized as objects which satisfy a domain equation and have their tail maps contractions . A contraction is an endomorphism which, when it is applied frequently enough, becomes fixed. It is a central technical notion in this development. As this characterization only uses the number arithmetic of the setting, it provides a powerful tool for establishing the existence of lists. The second result is that list construction preserves and creates connected limits. Because lists satisfy a domain equation they are models of a certain type of sketch. Models of such sketches are preserved and created by connected limits. However, it is the fact that the contractions are also preserved by these limits which is crucial. This observation immediately gives the localness of list construction in a locos and is fundamental to many of the other properties of list construction." @default.
- W2060984753 created "2016-06-24" @default.
- W2060984753 creator A5053636420 @default.
- W2060984753 date "1990-10-01" @default.
- W2060984753 modified "2023-09-26" @default.
- W2060984753 title "List-arithmetic distributive categories: Locoi" @default.
- W2060984753 cites W1546025443 @default.
- W2060984753 cites W1981582150 @default.
- W2060984753 cites W2011738906 @default.
- W2060984753 cites W2049362364 @default.
- W2060984753 cites W2150690980 @default.
- W2060984753 cites W2164343886 @default.
- W2060984753 cites W2732021604 @default.
- W2060984753 cites W583126019 @default.
- W2060984753 doi "https://doi.org/10.1016/0022-4049(90)90121-w" @default.
- W2060984753 hasPublicationYear "1990" @default.
- W2060984753 type Work @default.
- W2060984753 sameAs 2060984753 @default.
- W2060984753 citedByCount "27" @default.
- W2060984753 countsByYear W20609847532012 @default.
- W2060984753 countsByYear W20609847532017 @default.
- W2060984753 crossrefType "journal-article" @default.
- W2060984753 hasAuthorship W2060984753A5053636420 @default.
- W2060984753 hasBestOaLocation W20609847531 @default.
- W2060984753 hasConcept C11413529 @default.
- W2060984753 hasConcept C11821877 @default.
- W2060984753 hasConcept C118615104 @default.
- W2060984753 hasConcept C134306372 @default.
- W2060984753 hasConcept C202444582 @default.
- W2060984753 hasConcept C2779231336 @default.
- W2060984753 hasConcept C2780069185 @default.
- W2060984753 hasConcept C33923547 @default.
- W2060984753 hasConcept C36503486 @default.
- W2060984753 hasConcept C45340560 @default.
- W2060984753 hasConcept C94375191 @default.
- W2060984753 hasConceptScore W2060984753C11413529 @default.
- W2060984753 hasConceptScore W2060984753C11821877 @default.
- W2060984753 hasConceptScore W2060984753C118615104 @default.
- W2060984753 hasConceptScore W2060984753C134306372 @default.
- W2060984753 hasConceptScore W2060984753C202444582 @default.
- W2060984753 hasConceptScore W2060984753C2779231336 @default.
- W2060984753 hasConceptScore W2060984753C2780069185 @default.
- W2060984753 hasConceptScore W2060984753C33923547 @default.
- W2060984753 hasConceptScore W2060984753C36503486 @default.
- W2060984753 hasConceptScore W2060984753C45340560 @default.
- W2060984753 hasConceptScore W2060984753C94375191 @default.
- W2060984753 hasIssue "1" @default.
- W2060984753 hasLocation W20609847531 @default.
- W2060984753 hasOpenAccess W2060984753 @default.
- W2060984753 hasPrimaryLocation W20609847531 @default.
- W2060984753 hasRelatedWork W1971224820 @default.
- W2060984753 hasRelatedWork W2324188001 @default.
- W2060984753 hasRelatedWork W2393075133 @default.
- W2060984753 hasRelatedWork W2477751479 @default.
- W2060984753 hasRelatedWork W2782952219 @default.
- W2060984753 hasRelatedWork W2963977451 @default.
- W2060984753 hasRelatedWork W3130067708 @default.
- W2060984753 hasRelatedWork W3188573563 @default.
- W2060984753 hasRelatedWork W3201246199 @default.
- W2060984753 hasRelatedWork W4287064674 @default.
- W2060984753 hasVolume "66" @default.
- W2060984753 isParatext "false" @default.
- W2060984753 isRetracted "false" @default.
- W2060984753 magId "2060984753" @default.
- W2060984753 workType "article" @default.