Range residuated mappings

From MaRDI portal





If A, B are ordered sets then a mapping \(f: A\to B\) is said to be range residuated if it induces a residuated map from A to the filter generated by its range. Such mappings arise in connection with digital pictures. Various properties of range residuated mappings are given, these being generalizations of properties of residuated mappings. The link between Baer semigroups and lattices, forged by residuated mappings, is then generalized. This is achieved through the analogous notion of a Baer LZ- semigroup (in which there appears a one-sided zero element). This leads to a coordinatization of lattices by a Baer LZ-semigroup.




Cited in
(1)








This page was built for publication: Range residuated mappings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1089012)