The Involutive Quantaloid of Completely Distributive Lattices

DOI10.1007/978-3-030-43520-2_18OpenAlexW3013001238MaRDI QIDQ5098728

Luigi Santocanale

Publication date: 30 August 2022

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.01085

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (5)

Unitless Frobenius quantales ⋮ Deciding Equations in the Time Warp Algebra ⋮ Time warps, from algebra to algorithms ⋮ Skew metrics valued in Sugihara semigroups ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Quantales of open groupoids
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Residuated lattices. An algebraic glimpse at substructural logics
• Nuclearity in the category of complete semilattices
• MIX \(\star\)-autonomous quantales and the continuous weak order
• Semigroups in complete lattices. Quantales, modules and related topics
• On discrete idempotent paths
• Worpitzky identity for multipermutations
• Combinatorial results for semigroups of order-preserving full transformations.
• The lattice-ordered group of automorphisms of an ordered set
• Tight Galois Connections and Complete Distributivity
• Completely distributive latices
• Nuclearity
• Girard quantaloids
• Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras
• Products of idempotents in certain semigroups of transformations
• A Subdirect-Union Representation for Completely Distributive Complete Lattices

This page was built for publication: The Involutive Quantaloid of Completely Distributive Lattices