Unitless Frobenius quantales
From MaRDI portal
Publication:2680596
DOI10.1007/s10485-022-09699-5OpenAlexW4229449176MaRDI QIDQ2680596
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Residuated lattices. An algebraic glimpse at substructural logics
- Girard couples of quantales
- Nuclearity in the category of complete semilattices
- Lambek calculus and its relational semantics: Completeness and incompleteness
- Semigroups in complete lattices. Quantales, modules and related topics
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem
- The continuous weak order
- Relational models for the Lambek calculus with intersection and unit
- Skew metrics valued in Sugihara semigroups
- H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic and Categorical Aspects of Quantales
- Tight Galois Connections and Complete Distributivity
- Quantales and (noncommutative) linear logic
- Counting and Computing Join-Endomorphisms in Lattices
- The Involutive Quantaloid of Completely Distributive Lattices
- Lattices With Involution
- Galois Connexions
This page was built for publication: Unitless Frobenius quantales