Sums of lattices and a relational category (Q1047183)

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.