Matches in SemOpenAlex for { <https://semopenalex.org/work/W4328130587> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4328130587 abstract "The context of this work is that of partial frames; these are meet-semilattices where not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices, certain subsets under consideration, which we call the ``designated'' ones; an S-frame then must have joins of (at least) all such subsets and binary meet must distribute over these. A small collection of axioms suffices to specify our selection functions; these axioms are sufficiently general to include as examples of partial frames, bounded distributive lattices, sigma-frames, kappa-frames and frames. We consider right and left adjoints of S-frame maps, as a prelude to the introduction of closed and open maps. Then we look at what might be an appropriate notion of Booleanness for partial frames. The obvious candidate is the condition that every element be complemented; this concept is indeed of interest, but we pose three further conditions which, in the frame setting, are all equivalent to it. However, in the context of partial frames, the four conditions are distinct. In investigating these, we make essential use of the free frame over a partial frame and the congruence frame of a partial frame. We compare congruences of a partial frame, technically called S-congruences, with the frame congruences of its free frame. We provide a natural transformation for the situation and also consider right adjoints of the frame maps in question. We characterize the case where the two congruence frames are isomorphic and provide examples which illuminate the possible different behaviour of the two. We conclude with a characterization of closedness and openness for the embedding of a partial frame into its free fame, and into its congruence frame." @default.
- W4328130587 created "2023-03-22" @default.
- W4328130587 creator A5070393116 @default.
- W4328130587 creator A5087822643 @default.
- W4328130587 date "2023-03-21" @default.
- W4328130587 modified "2023-10-05" @default.
- W4328130587 title "Partial frames, their free frames and their congruence frames" @default.
- W4328130587 doi "https://doi.org/10.46298/entics.10459" @default.
- W4328130587 hasPublicationYear "2023" @default.
- W4328130587 type Work @default.
- W4328130587 citedByCount "0" @default.
- W4328130587 crossrefType "journal-article" @default.
- W4328130587 hasAuthorship W4328130587A5070393116 @default.
- W4328130587 hasAuthorship W4328130587A5087822643 @default.
- W4328130587 hasBestOaLocation W43281305871 @default.
- W4328130587 hasConcept C11821877 @default.
- W4328130587 hasConcept C121332964 @default.
- W4328130587 hasConcept C126042441 @default.
- W4328130587 hasConcept C132074034 @default.
- W4328130587 hasConcept C151730666 @default.
- W4328130587 hasConcept C167729594 @default.
- W4328130587 hasConcept C183992945 @default.
- W4328130587 hasConcept C199360897 @default.
- W4328130587 hasConcept C201640847 @default.
- W4328130587 hasConcept C202444582 @default.
- W4328130587 hasConcept C2524010 @default.
- W4328130587 hasConcept C2778692605 @default.
- W4328130587 hasConcept C2779343474 @default.
- W4328130587 hasConcept C33923547 @default.
- W4328130587 hasConcept C41008148 @default.
- W4328130587 hasConcept C62520636 @default.
- W4328130587 hasConcept C76155785 @default.
- W4328130587 hasConcept C86803240 @default.
- W4328130587 hasConcept C9973445 @default.
- W4328130587 hasConceptScore W4328130587C11821877 @default.
- W4328130587 hasConceptScore W4328130587C121332964 @default.
- W4328130587 hasConceptScore W4328130587C126042441 @default.
- W4328130587 hasConceptScore W4328130587C132074034 @default.
- W4328130587 hasConceptScore W4328130587C151730666 @default.
- W4328130587 hasConceptScore W4328130587C167729594 @default.
- W4328130587 hasConceptScore W4328130587C183992945 @default.
- W4328130587 hasConceptScore W4328130587C199360897 @default.
- W4328130587 hasConceptScore W4328130587C201640847 @default.
- W4328130587 hasConceptScore W4328130587C202444582 @default.
- W4328130587 hasConceptScore W4328130587C2524010 @default.
- W4328130587 hasConceptScore W4328130587C2778692605 @default.
- W4328130587 hasConceptScore W4328130587C2779343474 @default.
- W4328130587 hasConceptScore W4328130587C33923547 @default.
- W4328130587 hasConceptScore W4328130587C41008148 @default.
- W4328130587 hasConceptScore W4328130587C62520636 @default.
- W4328130587 hasConceptScore W4328130587C76155785 @default.
- W4328130587 hasConceptScore W4328130587C86803240 @default.
- W4328130587 hasConceptScore W4328130587C9973445 @default.
- W4328130587 hasLocation W43281305871 @default.
- W4328130587 hasLocation W43281305872 @default.
- W4328130587 hasLocation W43281305873 @default.
- W4328130587 hasOpenAccess W4328130587 @default.
- W4328130587 hasPrimaryLocation W43281305871 @default.
- W4328130587 hasRelatedWork W136375977 @default.
- W4328130587 hasRelatedWork W1980794045 @default.
- W4328130587 hasRelatedWork W2076485291 @default.
- W4328130587 hasRelatedWork W2105715274 @default.
- W4328130587 hasRelatedWork W2157793039 @default.
- W4328130587 hasRelatedWork W2233970685 @default.
- W4328130587 hasRelatedWork W2261972136 @default.
- W4328130587 hasRelatedWork W2350960841 @default.
- W4328130587 hasRelatedWork W2594479762 @default.
- W4328130587 hasRelatedWork W48541030 @default.
- W4328130587 hasVolume "Volume 2 - Proceedings of..." @default.
- W4328130587 isParatext "false" @default.
- W4328130587 isRetracted "false" @default.
- W4328130587 workType "article" @default.