Matches in SemOpenAlex for { <https://semopenalex.org/work/W3123967939> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3123967939 endingPage "346" @default.
- W3123967939 startingPage "335" @default.
- W3123967939 abstract "It is argued in (Eklund et al., 2018) that the quantale [L,L] of sup-preserving endomaps of a complete lattice L is a Girard quantale exactly when L is completely distributive. We have argued in (Santocanale, 2020) that this Girard quantale structure arises from the dual quantale of inf-preserving endomaps of L via Raney's transforms and extends to a Girard quantaloid structure on the full subcategory of SLatt (the category of complete lattices and sup-preserving maps) whose objects are the completely distributive lattices. It is the goal of this talk to illustrate further this connection between the quantale structure, Raney's transforms, and complete distributivity. Raney's transforms are indeed mix maps in the isomix category SLatt and most of the theory can be developed relying on naturality of these maps. We complete then the remarks on cyclic elements of [L,L] developed in (Santocanale, 2020) by investigating its dualizing elements. We argue that if [L,L] has the structure a Frobenius quantale, that is, if it has a dualizing element, not necessarily a cyclic one, then L is once more completely distributive. It follows then from a general statement on involutive residuated lattices that there is a bijection between dualizing elements of [L,L] and automorphisms of L. Finally, we also argue that if L is finite and [L,L] is autodual, then L is distributive." @default.
- W3123967939 created "2021-02-01" @default.
- W3123967939 creator A5049300785 @default.
- W3123967939 date "2021-02-08" @default.
- W3123967939 modified "2023-10-13" @default.
- W3123967939 title "Dualizing sup-preserving endomaps of a complete lattice" @default.
- W3123967939 cites W2005062379 @default.
- W3123967939 cites W2005293072 @default.
- W3123967939 cites W2008699979 @default.
- W3123967939 cites W2011659388 @default.
- W3123967939 cites W2051110641 @default.
- W3123967939 cites W2068130742 @default.
- W3123967939 cites W2075367647 @default.
- W3123967939 cites W2086037765 @default.
- W3123967939 cites W2498809194 @default.
- W3123967939 cites W3013001238 @default.
- W3123967939 cites W3046072471 @default.
- W3123967939 cites W4231175676 @default.
- W3123967939 cites W4239527120 @default.
- W3123967939 cites W4245059754 @default.
- W3123967939 cites W4253285212 @default.
- W3123967939 cites W4256613977 @default.
- W3123967939 doi "https://doi.org/10.4204/eptcs.333.23" @default.
- W3123967939 hasPublicationYear "2021" @default.
- W3123967939 type Work @default.
- W3123967939 sameAs 3123967939 @default.
- W3123967939 citedByCount "1" @default.
- W3123967939 countsByYear W31239679392022 @default.
- W3123967939 crossrefType "journal-article" @default.
- W3123967939 hasAuthorship W3123967939A5049300785 @default.
- W3123967939 hasBestOaLocation W31239679391 @default.
- W3123967939 hasConcept C11821877 @default.
- W3123967939 hasConcept C118615104 @default.
- W3123967939 hasConcept C121332964 @default.
- W3123967939 hasConcept C136119220 @default.
- W3123967939 hasConcept C138390121 @default.
- W3123967939 hasConcept C183992945 @default.
- W3123967939 hasConcept C192606457 @default.
- W3123967939 hasConcept C201640847 @default.
- W3123967939 hasConcept C202444582 @default.
- W3123967939 hasConcept C24424167 @default.
- W3123967939 hasConcept C24890656 @default.
- W3123967939 hasConcept C2781204021 @default.
- W3123967939 hasConcept C33923547 @default.
- W3123967939 hasConcept C62520636 @default.
- W3123967939 hasConceptScore W3123967939C11821877 @default.
- W3123967939 hasConceptScore W3123967939C118615104 @default.
- W3123967939 hasConceptScore W3123967939C121332964 @default.
- W3123967939 hasConceptScore W3123967939C136119220 @default.
- W3123967939 hasConceptScore W3123967939C138390121 @default.
- W3123967939 hasConceptScore W3123967939C183992945 @default.
- W3123967939 hasConceptScore W3123967939C192606457 @default.
- W3123967939 hasConceptScore W3123967939C201640847 @default.
- W3123967939 hasConceptScore W3123967939C202444582 @default.
- W3123967939 hasConceptScore W3123967939C24424167 @default.
- W3123967939 hasConceptScore W3123967939C24890656 @default.
- W3123967939 hasConceptScore W3123967939C2781204021 @default.
- W3123967939 hasConceptScore W3123967939C33923547 @default.
- W3123967939 hasConceptScore W3123967939C62520636 @default.
- W3123967939 hasLocation W31239679391 @default.
- W3123967939 hasLocation W31239679392 @default.
- W3123967939 hasLocation W31239679393 @default.
- W3123967939 hasLocation W31239679394 @default.
- W3123967939 hasLocation W31239679395 @default.
- W3123967939 hasLocation W31239679396 @default.
- W3123967939 hasLocation W31239679397 @default.
- W3123967939 hasLocation W31239679398 @default.
- W3123967939 hasOpenAccess W3123967939 @default.
- W3123967939 hasPrimaryLocation W31239679391 @default.
- W3123967939 hasRelatedWork W2003137965 @default.
- W3123967939 hasRelatedWork W2049243477 @default.
- W3123967939 hasRelatedWork W2112873942 @default.
- W3123967939 hasRelatedWork W2280679128 @default.
- W3123967939 hasRelatedWork W3123967939 @default.
- W3123967939 hasRelatedWork W3208187833 @default.
- W3123967939 hasRelatedWork W4251746188 @default.
- W3123967939 hasRelatedWork W4297673423 @default.
- W3123967939 hasRelatedWork W4381384179 @default.
- W3123967939 hasRelatedWork W4383704095 @default.
- W3123967939 hasVolume "333" @default.
- W3123967939 isParatext "false" @default.
- W3123967939 isRetracted "false" @default.
- W3123967939 magId "3123967939" @default.
- W3123967939 workType "article" @default.