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 O’Reilly online learning.

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