Matches in SemOpenAlex for { <https://semopenalex.org/work/W2082745618> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2082745618 endingPage "817" @default.
- W2082745618 startingPage "775" @default.
- W2082745618 abstract "A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a restriction category is a category of partial maps if and only if the restriction idempotents split. Restriction categories facilitate reasoning about partial maps as they have a purely algebraic formulation. In this paper we consider colimits and limits in restriction categories. As the notion of restriction category is not self-dual, we should not expect colimits and limits in restriction categories to behave in the same manner. The notion of colimit in the restriction context is quite straightforward, but limits are more delicate. The suitable notion of limit turns out to be a kind of lax limit, satisfying certain extra properties. Of particular interest is the behaviour of the coproduct, both by itself and with respect to partial products. We explore various conditions under which the coproducts are ‘extensive’ in the sense that the total category (of the related partial map category) becomes an extensive category. When partial limits are present, they become ordinary limits in the total category. Thus, when the coproducts are extensive we obtain as the total category a lextensive category. This provides, in particular, a description of the extensive completion of a distributive category." @default.
- W2082745618 created "2016-06-24" @default.
- W2082745618 creator A5073756839 @default.
- W2082745618 creator A5076132070 @default.
- W2082745618 date "2007-08-01" @default.
- W2082745618 modified "2023-10-03" @default.
- W2082745618 title "Restriction categories III: colimits, partial limits and extensivity" @default.
- W2082745618 cites W1967277738 @default.
- W2082745618 cites W1983244685 @default.
- W2082745618 cites W2001462012 @default.
- W2082745618 cites W2005219276 @default.
- W2082745618 cites W2005230371 @default.
- W2082745618 cites W2017778827 @default.
- W2082745618 cites W2054110340 @default.
- W2082745618 cites W2069969963 @default.
- W2082745618 cites W2120713972 @default.
- W2082745618 cites W2135434676 @default.
- W2082745618 cites W2160625512 @default.
- W2082745618 doi "https://doi.org/10.1017/s0960129507006056" @default.
- W2082745618 hasPublicationYear "2007" @default.
- W2082745618 type Work @default.
- W2082745618 sameAs 2082745618 @default.
- W2082745618 citedByCount "35" @default.
- W2082745618 countsByYear W20827456182012 @default.
- W2082745618 countsByYear W20827456182013 @default.
- W2082745618 countsByYear W20827456182014 @default.
- W2082745618 countsByYear W20827456182015 @default.
- W2082745618 countsByYear W20827456182016 @default.
- W2082745618 countsByYear W20827456182017 @default.
- W2082745618 countsByYear W20827456182018 @default.
- W2082745618 countsByYear W20827456182019 @default.
- W2082745618 countsByYear W20827456182020 @default.
- W2082745618 countsByYear W20827456182021 @default.
- W2082745618 countsByYear W20827456182022 @default.
- W2082745618 countsByYear W20827456182023 @default.
- W2082745618 crossrefType "journal-article" @default.
- W2082745618 hasAuthorship W2082745618A5073756839 @default.
- W2082745618 hasAuthorship W2082745618A5076132070 @default.
- W2082745618 hasBestOaLocation W20827456182 @default.
- W2082745618 hasConcept C11821877 @default.
- W2082745618 hasConcept C128520899 @default.
- W2082745618 hasConcept C134306372 @default.
- W2082745618 hasConcept C136119220 @default.
- W2082745618 hasConcept C151201525 @default.
- W2082745618 hasConcept C151730666 @default.
- W2082745618 hasConcept C156163052 @default.
- W2082745618 hasConcept C156772000 @default.
- W2082745618 hasConcept C202444582 @default.
- W2082745618 hasConcept C2779343474 @default.
- W2082745618 hasConcept C33923547 @default.
- W2082745618 hasConcept C36259021 @default.
- W2082745618 hasConcept C46263353 @default.
- W2082745618 hasConcept C54884031 @default.
- W2082745618 hasConcept C7879355 @default.
- W2082745618 hasConcept C86803240 @default.
- W2082745618 hasConceptScore W2082745618C11821877 @default.
- W2082745618 hasConceptScore W2082745618C128520899 @default.
- W2082745618 hasConceptScore W2082745618C134306372 @default.
- W2082745618 hasConceptScore W2082745618C136119220 @default.
- W2082745618 hasConceptScore W2082745618C151201525 @default.
- W2082745618 hasConceptScore W2082745618C151730666 @default.
- W2082745618 hasConceptScore W2082745618C156163052 @default.
- W2082745618 hasConceptScore W2082745618C156772000 @default.
- W2082745618 hasConceptScore W2082745618C202444582 @default.
- W2082745618 hasConceptScore W2082745618C2779343474 @default.
- W2082745618 hasConceptScore W2082745618C33923547 @default.
- W2082745618 hasConceptScore W2082745618C36259021 @default.
- W2082745618 hasConceptScore W2082745618C46263353 @default.
- W2082745618 hasConceptScore W2082745618C54884031 @default.
- W2082745618 hasConceptScore W2082745618C7879355 @default.
- W2082745618 hasConceptScore W2082745618C86803240 @default.
- W2082745618 hasIssue "4" @default.
- W2082745618 hasLocation W20827456181 @default.
- W2082745618 hasLocation W20827456182 @default.
- W2082745618 hasOpenAccess W2082745618 @default.
- W2082745618 hasPrimaryLocation W20827456181 @default.
- W2082745618 hasRelatedWork W2082745618 @default.
- W2082745618 hasRelatedWork W2349393801 @default.
- W2082745618 hasRelatedWork W2368321727 @default.
- W2082745618 hasRelatedWork W2368651255 @default.
- W2082745618 hasRelatedWork W2541745900 @default.
- W2082745618 hasRelatedWork W2963810482 @default.
- W2082745618 hasRelatedWork W3099620834 @default.
- W2082745618 hasRelatedWork W3126040617 @default.
- W2082745618 hasRelatedWork W3144217155 @default.
- W2082745618 hasRelatedWork W4293377261 @default.
- W2082745618 hasVolume "17" @default.
- W2082745618 isParatext "false" @default.
- W2082745618 isRetracted "false" @default.
- W2082745618 magId "2082745618" @default.
- W2082745618 workType "article" @default.