In this paper, we weaken the conditions for the existence of adjoint closure operators, going beyond the standard requirement of additivity/co-additivity. We consider the notion of join-uniform (lower) closure operators, introduced in computer science, in order to model perfect lossless compression in transformations acting on complete lattices. Starting from Janowitz’s characterization of residuated closure operators, we show that join-uniformity perfectly weakens additivity in the construction of adjoint closures, and this is indeed the weakest property for this to hold. We conclude by characterizing the set of all join-uniform lower closure operators as fix-points of a function defined on the set of all lower closures of a complete lattice.
Weakening Additivity in Adjoining Closures
MASTROENI, Isabella;GIACOBAZZI, Roberto
2016-01-01
Abstract
In this paper, we weaken the conditions for the existence of adjoint closure operators, going beyond the standard requirement of additivity/co-additivity. We consider the notion of join-uniform (lower) closure operators, introduced in computer science, in order to model perfect lossless compression in transformations acting on complete lattices. Starting from Janowitz’s characterization of residuated closure operators, we show that join-uniformity perfectly weakens additivity in the construction of adjoint closures, and this is indeed the weakest property for this to hold. We conclude by characterizing the set of all join-uniform lower closure operators as fix-points of a function defined on the set of all lower closures of a complete lattice.File | Dimensione | Formato | |
---|---|---|---|
order.pdf
Open Access dal 01/11/2017
Tipologia:
Documento in Post-print
Licenza:
Dominio pubblico
Dimensione
486.99 kB
Formato
Adobe PDF
|
486.99 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.