The Involutive Quantaloid of Completely Distributive Lattices
From MaRDI portal
Publication:5098728
DOI10.1007/978-3-030-43520-2_18OpenAlexW3013001238MaRDI QIDQ5098728
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
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
