Unitless Frobenius quantales

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

zbMATH Keywords

unittrace class operatorquantaleresiduated latticeSerre dualitynuclear mapGirard quantaleFrobenius quantaletight mapdualizing element

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Quantales (06F07) Quantales (18F75)

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