Chapter 7Morphisms


In this chapter, we study homomorphisms between lattices. Many of the concepts and results are analogous to those typically studied in group and ring theory. For example, the concept of lattice homomorphism is analogous to that of group homomorphism. These concepts have natural applications in the theory of distributed systems. In particular, we show applications in predicate detection.


We begin by defining functions that preserve the order structure.

The concept of preserving order can be extended to preserving meet and join operations.

Get Introduction to Lattice Theory with Computer Science Applications now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.