Sums of lattices and a relational category (Q1047183)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sums of lattices and a relational category |
scientific article |
Statements
Sums of lattices and a relational category (English)
0 references
4 January 2010
0 references
Having a lattice \(L\) and a congruence \(\Theta\) on \(L,\) we can construct the quotient lattice \(K=L/\Theta\) and the system \(\{x/\Theta: x\in L\}\) of blocks of \(\Theta.\) Is there a converse construction? More precisely, if \(K\) and the system of all \(\Theta\)-blocks of \(L\) are given, is it possible to construct \(L\) again? The answer is yes. But there are a lot of lattices \(L\) that can be obtained in this way. The author calls this construction a sum of lattices. There are various papers dealing with sums of lattices and using two functors for the construction of such sums. Here, the author presents an equivalent and easy-to-visualize construction based on a single functor into an appropriate category of (complete) lattices with certain relations as morphisms.
0 references
sum of lattices
0 references
relational category
0 references
atop relation
0 references