# Tensor products and relation quantales

@article{Ern2016TensorPA, title={Tensor products and relation quantales}, author={M. Ern{\'e} and J. Picado}, journal={Algebra universalis}, year={2016}, volume={78}, pages={461-487} }

A classical tensor product $${A \otimes B}$$A⊗B of complete lattices A and B, consisting of all down-sets in $${A \times B}$$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… Expand

#### 2 Citations

On the Coextension of Cut-Continuous Pomonoids

- Mathematics, Computer Science
- Order
- 2019

It is shown that tensor products of modules over cut-continuous pomonoids exist, and an application is the construction of residuated structures related to fuzzy logics, in particular left-Continuous t-norms. Expand

Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices

- Computer Science, Mathematics
- MFPS
- 2020

This paper uses Eilenberg-Moore algebras given over a complete lattices of truth values, which specify answers to queries about programs, to specify a method of generically combining effects and the algeBRas used to interpret them. Expand

#### References

SHOWING 1-10 OF 37 REFERENCES

Tensor products of semilattices with zero, revisited

- Mathematics
- 2000

Let A and B be lattices with zero. The classical tensor product, $A\otimes B$, of A and B as join-semilattices with zero is a join-semilattice with zero; it is, in general, not a lattice. We deﬁne a… Expand

Tensor products of contexts and complete lattices

- Mathematics
- 1994

Although the categoryCLC of complete lattices and complete homomorphisms does not possess arbitrary coproducts, we show that the tensor product introduced by Wille has the universal property of… Expand

Tensor products for bounded posets revisited

- Mathematics
- 1990

The category BPC of bounded posets and so-called cut continuous maps has concrete products, and the Dedekind-MacNeille completion gives rise to a reflector from BPC to the full subcategory CLJ of… Expand

Ideals in atomic posets

- Computer Science, Mathematics
- Discret. Math.
- 2015

This work investigates so-called m -ideals for arbitrary cardinals m, providing common generalizations of ideals in lattices and of cuts in posets, and deduces diverse characterizations of atomic posets satisfying certain distributive laws. Expand

The quantale of Galois connections

- Mathematics
- 2005

Abstract.Galois connections were originally expressed in a contravariant form with transformations that reverse (rather than preserve) order. Nowadays its covariant form (as residuated maps) is more… Expand

Tensorial decomposition of concept lattices

- Mathematics
- 1985

A tensor product for complete lattices is studied via concept lattices. A characterization as a universal solution and an ideal representation of the tensor products are given. In a large class of… Expand

The Galois Approach to Uniform Structures

- Mathematics
- 2005

Entourages in uniform spaces, being binary relations, may be easily described by polarities (i.e. Galois connections between power sets) and axialities (i.e. residuated pairs between power sets).… Expand

IDEALS IN PARTIALLY ORDERED SETS

- Mathematics
- 1954

is. The study of partially ordered sets is a kind of abstract mathematics of the most general sort, compared with the theory of algebraic integers which gave rise to ideal theory. I should like to… Expand

On Galois Connexions

- Mathematics
- 1994

Publisher Summary This chapter focuses on the concept of Galois connexions. The researches in algebraic linguistics have been performed in the frame of a particular Galois connexion, in which the… Expand

A Primer on Galois Connections

- Computer Science
- 1993

The rudiments of the theory of Galois connections (or residuation theory, as it is sometimes called) are provided, together with many examples and applications, that can be used as an effective research tool throughout mathematics and related areas. Expand