scientific article; zbMATH DE number 7454913

MaRDI QIDQ5019688

Luigi Santocanale

Publication date: 10 January 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Order, lattices, ordered algebraic structures (06-XX) Category theory; homological algebra (18-XX)

Related Items (1)

Unitless Frobenius quantales

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Residuated lattices. An algebraic glimpse at substructural logics
• Tensorial decomposition of concept lattices
• Nuclearity in the category of complete semilattices
• Natural deduction and coherence for weakly distributive categories
• Coherence for compact closed categories
• Feedback for linearly distributive categories: Traces and fixpoints
• Semigroups in complete lattices. Quantales, modules and related topics
• A new lattice construction: The box product
• The continuous weak order
• Extension of congruences and homomorphisms to translational hulls
• Tight Galois Connections and Complete Distributivity
• An extension of the Galois theory of Grothendieck
• Nuclearity
• The Involutive Quantaloid of Completely Distributive Lattices

This page was built for publication: