Dualizing sup-preserving endomaps of a complete lattice

MaRDI QIDQ5019688zbMATH OpenFDO

Authors Luigi Santocanale

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10493, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.23

Mathematics Subject Classification ID

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

Recommendations

• Regularity vs. constructive complete (co)distributivity
• Invariance of projective modules in \(\mathsf{Sup}\) under self-duality
• Cyclic dualizing elements in Girard quantales
• Girard couples of quantales
• General distributivity in noncomplete lattices

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A new lattice construction: The box product
• An extension of the Galois theory of Grothendieck
• Coherence for compact closed categories
• Extension of congruences and homomorphisms to translational hulls
• Feedback for linearly distributive categories: Traces and fixpoints
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3536172 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1542063 (Why is no real title available?)
• Natural deduction and coherence for weakly distributive categories
• Nuclearity
• Nuclearity in the category of complete semilattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Semigroups in complete lattices. Quantales, modules and related topics
• Tensorial decomposition of concept lattices
• The continuous weak order
• The Involutive Quantaloid of Completely Distributive Lattices
• Tight Galois Connections and Complete Distributivity

Cited in

(2)

• Unitless Frobenius quantales
• The Involutive Quantaloid of Completely Distributive Lattices

Describes a project that uses

Uses Software

• Mace4
• Prover9

This page was built for publication: Dualizing sup-preserving endomaps of a complete lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019688)