Tensor products and relation quantales

Marcel Erné, Jorge Picado

A classical tensor product $A\otimes B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A\times B$ that are join-closed in either coordinate, is isomorphic…