Matches in SemOpenAlex for { <https://semopenalex.org/work/W4375859314> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4375859314 endingPage "107413" @default.
- W4375859314 startingPage "107413" @default.
- W4375859314 abstract "It has long been known that a key ingredient for a sheaf representation of a universal algebra A consists in a distributive lattice of commuting congruences on A. The sheaf representations of universal algebras (over stably compact spaces) that arise in this manner have been recently characterised by Gehrke and van Gool (J. Pure Appl. Algebra, 2018), who identified the central role of the notion of softness. In this paper, we extend the scope of this theory by replacing varieties of algebras with Barr-exact categories, thus encompassing a number of non-algebraic examples. Our approach is based on the notion of K-sheaf: intuitively, whereas sheaves are defined on open subsets, K-sheaves are defined on compact ones. Throughout, we consider sheaves on complete lattices rather than spaces; this allows us to obtain point-free versions of sheaf representations whereby spaces are replaced with frames. These results are used to construct sheaf representations for the dual of the category of compact ordered spaces, and to recover Banaschewski and Vermeulen's point-free sheaf representation of commutative Gelfand rings (Quaest. Math., 2011)." @default.
- W4375859314 created "2023-05-10" @default.
- W4375859314 creator A5035948014 @default.
- W4375859314 creator A5079172282 @default.
- W4375859314 date "2023-12-01" @default.
- W4375859314 modified "2023-10-14" @default.
- W4375859314 title "Barr-exact categories and soft sheaf representations" @default.
- W4375859314 cites W1963515784 @default.
- W4375859314 cites W1967639792 @default.
- W4375859314 cites W1988612426 @default.
- W4375859314 cites W1991935699 @default.
- W4375859314 cites W2009415843 @default.
- W4375859314 cites W2009828041 @default.
- W4375859314 cites W2010743540 @default.
- W4375859314 cites W2024107799 @default.
- W4375859314 cites W2025882736 @default.
- W4375859314 cites W2050717037 @default.
- W4375859314 cites W2054363716 @default.
- W4375859314 cites W2063932205 @default.
- W4375859314 cites W2084477420 @default.
- W4375859314 cites W2120472539 @default.
- W4375859314 cites W2130390354 @default.
- W4375859314 cites W2140351059 @default.
- W4375859314 cites W2159344381 @default.
- W4375859314 cites W2758719049 @default.
- W4375859314 cites W2972239815 @default.
- W4375859314 cites W36355091 @default.
- W4375859314 cites W4248797717 @default.
- W4375859314 cites W806482320 @default.
- W4375859314 doi "https://doi.org/10.1016/j.jpaa.2023.107413" @default.
- W4375859314 hasPublicationYear "2023" @default.
- W4375859314 type Work @default.
- W4375859314 citedByCount "0" @default.
- W4375859314 crossrefType "journal-article" @default.
- W4375859314 hasAuthorship W4375859314A5035948014 @default.
- W4375859314 hasAuthorship W4375859314A5079172282 @default.
- W4375859314 hasBestOaLocation W43758593141 @default.
- W4375859314 hasConcept C136119220 @default.
- W4375859314 hasConcept C137212723 @default.
- W4375859314 hasConcept C143161588 @default.
- W4375859314 hasConcept C156772000 @default.
- W4375859314 hasConcept C18364862 @default.
- W4375859314 hasConcept C202444582 @default.
- W4375859314 hasConcept C33923547 @default.
- W4375859314 hasConcept C4017995 @default.
- W4375859314 hasConcept C72738302 @default.
- W4375859314 hasConcept C78606066 @default.
- W4375859314 hasConcept C93067474 @default.
- W4375859314 hasConceptScore W4375859314C136119220 @default.
- W4375859314 hasConceptScore W4375859314C137212723 @default.
- W4375859314 hasConceptScore W4375859314C143161588 @default.
- W4375859314 hasConceptScore W4375859314C156772000 @default.
- W4375859314 hasConceptScore W4375859314C18364862 @default.
- W4375859314 hasConceptScore W4375859314C202444582 @default.
- W4375859314 hasConceptScore W4375859314C33923547 @default.
- W4375859314 hasConceptScore W4375859314C4017995 @default.
- W4375859314 hasConceptScore W4375859314C72738302 @default.
- W4375859314 hasConceptScore W4375859314C78606066 @default.
- W4375859314 hasConceptScore W4375859314C93067474 @default.
- W4375859314 hasFunder F4320321873 @default.
- W4375859314 hasFunder F4320335254 @default.
- W4375859314 hasFunder F4320338337 @default.
- W4375859314 hasIssue "12" @default.
- W4375859314 hasLocation W43758593141 @default.
- W4375859314 hasLocation W43758593142 @default.
- W4375859314 hasLocation W43758593143 @default.
- W4375859314 hasLocation W43758593144 @default.
- W4375859314 hasLocation W43758593145 @default.
- W4375859314 hasOpenAccess W4375859314 @default.
- W4375859314 hasPrimaryLocation W43758593141 @default.
- W4375859314 hasRelatedWork W131399980 @default.
- W4375859314 hasRelatedWork W1489770165 @default.
- W4375859314 hasRelatedWork W1843009538 @default.
- W4375859314 hasRelatedWork W2040360943 @default.
- W4375859314 hasRelatedWork W2910688644 @default.
- W4375859314 hasRelatedWork W3098749204 @default.
- W4375859314 hasRelatedWork W4288402765 @default.
- W4375859314 hasRelatedWork W4288634155 @default.
- W4375859314 hasRelatedWork W4293392529 @default.
- W4375859314 hasRelatedWork W4300857706 @default.
- W4375859314 hasVolume "227" @default.
- W4375859314 isParatext "false" @default.
- W4375859314 isRetracted "false" @default.
- W4375859314 workType "article" @default.