Unitless Frobenius quantales
From MaRDI portal
Publication:2680596
DOI10.1007/S10485-022-09699-5OpenAlexW4229449176MaRDI QIDQ2680596FDOQ2680596
Cédric de Lacroix, Luigi Santocanale
Publication date: 4 January 2023
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.04111
unittrace class operatorquantaleresiduated latticeSerre dualitynuclear mapGirard quantaleFrobenius quantaletight mapdualizing element
Cites Work
- Galois Connexions
- Residuated lattices. An algebraic glimpse at substructural logics
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic and Categorical Aspects of Quantales
- Quantales and (noncommutative) linear logic
- Lattices With Involution
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Semigroups in complete lattices. Quantales, modules and related topics
- Lambek calculus and its relational semantics: Completeness and incompleteness
- Tight Galois Connections and Complete Distributivity
- Nuclearity in the category of complete semilattices
- Relational models for the Lambek calculus with intersection and unit
- Girard couples of quantales
- Skew metrics valued in Sugihara semigroups
- The continuous weak order
- The Involutive Quantaloid of Completely Distributive Lattices
- Counting and Computing Join-Endomorphisms in Lattices
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (1)
This page was built for publication: Unitless Frobenius quantales
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2680596)