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
    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
    0 references

    Identifiers