Centre for Mathematics, University of Coimbra

Tensor products and relation quantales (Preprint)

<Reference List>
Type:	Preprint
National /International:	International
Title:	Tensor products and relation quantales
Publication Date:	2016-12-16
Authors:	- Marcel Erné - Jorge Picado
Abstract:	A classical tensor product A⊗B of complete lattices A and B, consisting of all down-sets in A×B 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 pseudocomplementedness. 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 homset 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.
Institution:	DMUC 16-50
Online version:	http://www.mat.uc.pt...prints/eng_2016.html
Download:	Not available