Tensor products and relation quantales

DOI10.1007/S00012-017-0472-XzbMATH Open1420.06025arXiv1612.05694OpenAlexW2562225483MaRDI QIDQ1689290FDOQ1689290

Authors: Marcel Erné, Jorge Picado 

Publication date: 12 January 2018

Published in: Algebra Universalis (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

idealquantalerelationpseudocomplemented(pre-)nucleusdistributive at the bottomGalois maptensor (product)

Mathematics Subject Classification ID

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

Cites Work

• Galois Connexions
• Frames and Locales
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Pseudo-complements in semi-lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ideals in Partially Ordered Sets
• The structure of Galois connections
• Tensor Products and Bimorphisms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructing locales from quantales
• The quantale of Galois connections
• Prime ideal theory for general algebras
• Title not available (Why is that?)
• Closure
• Closure Operators and Galois Theory in Lattices
• Tensor products of semilattices with zero, revisited
• Ideals in atomic posets
• Title not available (Why is that?)
• Coproducts of bounded \((\alpha,\beta)\)-distributive lattices
• The tensor product of continuous lattices
• Tensorial decomposition of concept lattices
• Tensor products for bounded posets revisited
• The Galois Approach to Uniform Structures
• Tensor products of contexts and complete lattices

Cited In (7)

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

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)