Dualizing sup-preserving endomaps of a complete lattice

  title={Dualizing sup-preserving endomaps of a complete lattice},
  author={Luigi Santocanale},
It is argued in [5] that the quantale [L,L]∨ of sup-preserving endomaps of a complete lattice L is a Girard quantale exactly when L is completely distributive. We have argued in [16] that this Girard quantale structure arises from the dual quantale of inf-preserving endomaps of L via Raney’s transforms and extends to a Girard quantaloid structure on the full subcategory of SLatt (the category of complete lattices and sup-preserving maps) whose objects are the completely distributive lattices… 

Frobenius structures in star-autonomous categories

. It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice is com- pletely distributive. Since completely distributive

Unitless Frobenius Quantales

It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary



Tight Galois connections and complete distributivity

and discusses its relations with the property of complete distributivity in complete lattices. A procedure for constructing Galois connections between complete lattices is presented. The Galois

Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.

This note applies techniques we h a ve developed to study coherence in monoidal categories with two tensors, corresponding to the tensor{par fragment o f linear logic, to several new situations,

Residuated lattices: An algebraic glimpse at sub-structural logics

This book considers both the algebraic and logical perspective within a common framework, and shows how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones.

The continuous weak order

Nuclearity in the category of complete semilattices

Coherence for compact closed categories

A New Lattice Construction: The Box Product

In a recent paper, the authors have proved that for lattices A and B with zero, the isomorphism $Conc(A \otimes B)\cong Conc A \otimes Conc B$, holds, provided that the tensor product satisfies a very

Tensorial decomposition of concept lattices

A tensor product for complete lattices is studied via concept lattices. A characterization as a universal solution and an ideal representation of the tensor products are given. In a large class of