Chapter 7Morphisms

7.1 INTRODUCTION

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.

7.2 LATTICE HOMOMORPHISM

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 books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.