Tensor products and relation quantales

DOI10.1007/S00012-017-0472-XMaRDI QIDQ1689290zbMATH OpenOpenAlexFDO

Authors Marcel Erné, Jorge Picado

Publication date 12 January 2018

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

(pre-)nucleusdistributive at the bottomGalois mapidealpseudocomplementedquantalerelationtensor (product)

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Complete lattices, completions (06B23) Complete distributivity (06D10) Pseudocomplemented lattices (06D15) Quantales (06F07)

Abstract: A classical tensor product $A,otimes,B$ of complete lattices $A$ and $B$, consisting of all down-sets in $AimesB$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$ to $B$, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (separately continuous maps or maps preserving restricted joins in the two components) into complete lattices. The appropriate ingredient for quantale constructions is here distributivity at the bottom, a generalization of pseudo-complementedness. We show that the truncated tensor product of a complete lattice $B$ with itself becomes a quantale with the closure of the relation product as multiplication iff $B$ is pseudocomplemented, and the tensor product has a unit element iff $B$ is atomistic. The pseudocomplemented complete lattices form a semicategory in which the hom-set between two objects is their tensor product. The largest subcategory of that semicategory has as objects the atomic boolean complete lattices, which is equivalent to the category of sets and relations. More general results are obtained for closure spaces and posets.

Recommendations

• Some characterizations of the tensor product of complete lattices with applications to quantales
• Tensor products of contexts and complete lattices
• Orthocomplemented weak tensor products
• scientific article; zbMATH DE number 19630
• Weak tensor products of complete atomistic lattices

Cites work

• Closure
• Closure Operators and Galois Theory in Lattices
• Constructing locales from quantales
• Continuous Lattices and Domains
• Coproducts of bounded \((\alpha,\beta)\)-distributive lattices
• Frames and Locales
• Galois Connexions
• scientific article; zbMATH DE number 3757301 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 3536172 (Why is no real title available?)
• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 1932999 (Why is no real title available?)
• scientific article; zbMATH DE number 2149933 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 5054860 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 2235218 (Why is no real title available?)
• Ideals in atomic posets
• Ideals in Partially Ordered Sets
• Prime ideal theory for general algebras
• Pseudo-complements in semi-lattices
• Tensor Products and Bimorphisms
• Tensor products for bounded posets revisited
• Tensor products of contexts and complete lattices
• Tensor products of semilattices with zero, revisited
• Tensorial decomposition of concept lattices
• The Galois Approach to Uniform Structures
• The quantale of Galois connections
• The structure of Galois connections
• The tensor product of continuous lattices

Cited in

(8)

• Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences
• Some partial results on the cancellation law for the tensor product of complete lattices
• Combining algebraic effect descriptions using the tensor of complete lattices
• On the coextension of cut-continuous pomonoids
• Some characterizations of the tensor product of complete lattices with applications to quantales
• Tensor products of complete lattices and their application in constructing quantales
• scientific article; zbMATH DE number 19630 (Why is no real title available?)
• scientific article; zbMATH DE number 1231583 (Why is no real title available?)

This page was built for publication: Tensor products and relation quantales

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