THE INVOLUTIVE QUANTALOID OF COMPLETELY DISTRIBUTIVE LATTICES - ANR - Agence nationale de la recherche Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

THE INVOLUTIVE QUANTALOID OF COMPLETELY DISTRIBUTIVE LATTICES

Résumé

Let L be a complete lattice and let Q(L) be the unital quantale of join-continuous endo-functions of L. We prove the following result: Q(L) is an involutive (that is, non-commutative cyclic ⋆-autonomous) quantale if and only if L is a completely distributive lattice. If this is the case, then the dual tensor operation corresponds, via Raney's transforms, to composition in the (dual) quantale of meet-continuous endo-functions of L. Let Latt be the category of sup-lattices and join-continuous functions and let Latt cd be the full subcategory of Latt whose objects are the completely distributive lattices. We argue that (i) Latt cd is itself an involutive quantaloid, and therefore it is the largest full-subcategory of Latt with this property; (ii) Latt cd is closed under the monoidal operations of Latt , and therefore it is star-autonomous. Consequently, if Q(L) is involutive, then it is completely distributive as well.
Fichier principal
Vignette du fichier
0.pdf (209.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02342655 , version 1 (01-11-2019)
hal-02342655 , version 2 (08-11-2019)
hal-02342655 , version 3 (06-04-2020)

Identifiants

Citer

Luigi Santocanale. THE INVOLUTIVE QUANTALOID OF COMPLETELY DISTRIBUTIVE LATTICES. 2019. ⟨hal-02342655v1⟩
121 Consultations
171 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More