Some characterizations of the tensor product of complete lattices with applications to quantales

This paper examines tensor products of complete lattices in which one factor is com- pletely distributive. At least five characterizations of complete distributivity involving tensor products of complete lattices are given, among them this one: M is a completely distributive lattice if and only if f...

Descripción completa

Detalles Bibliográficos
Autores: Gutiérrez García, Francisco Javier, Höhle, Ulrich, Kubiak, Tomasz
Tipo de recurso: artículo
Fecha de publicación:2018
País:España
Institución:Universidad del País Vasco
Repositorio:Addi. Archivo Digital para la Docencia y la Investigación
OAI Identifier:oai:addi.ehu.eus:10810/65063
Acceso en línea:http://hdl.handle.net/10810/65063
Access Level:acceso abierto
Palabra clave:complete distributivity
tensor product
quantale
Descripción
Sumario:This paper examines tensor products of complete lattices in which one factor is com- pletely distributive. At least five characterizations of complete distributivity involving tensor products of complete lattices are given, among them this one: M is a completely distributive lattice if and only if for every complete lattice L the tensor product M ⊗ L is order isomorphic to the partially ordered set of all join- and meet-reversing maps from the complete lattice of all upclosed subsets of L to the lattice M. Some of these characterizations are then applied to give explicit descriptions of the multiplication of the tensor product of two quantales one of which is completely distributive.