Physical Sciences and Mathematics Commons^™

On Calculating Residuated Approximations And The Structure Of Finite Lattices Of Small Width, Wu Feng

Doctoral Dissertations

The concept of a residuated mapping relates to the concept of Galois connections; both arise in the theory of partially ordered sets. They have been applied in mathematical theories (e.g., category theory and formal concept analysis) and in theoretical computer science. The computation of residuated approximations between two lattices is influenced by lattice properties, e.g. distributivity.

In previous work, it has been proven that, for any mapping f : L → [special characters omitted] between two complete lattices L and [special characters omitted], there exists a largest residuated mapping ρf dominated by f, and the notion of "the shadow …