On Some Categories of Involutive Centered Residuated Lattices

dc.creatorCastiglioni, José Luis
dc.creatorMenni, Matías
dc.creatorSagastume, Marta Susana
dc.date2008-10-02
dc.date2022-07-13T16:03:32Z
dc.date.accessioned2023-07-15T05:04:13Z
dc.date.available2023-07-15T05:04:13Z
dc.identifierhttp://sedici.unlp.edu.ar/handle/10915/139459
dc.identifierissn:0039-3215
dc.identifierissn:1572-8730
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/7471970
dc.descriptionMotivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K• relating integral residuated lattices with 0 (IRL0) with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is an enrichment of the basic adjunction between lattices and Kleene algebras. The lifting of the functor to the category of residuated lattices leads us to study other adjunctions and equivalences. For example, we treat the functor C whose domain is cuRL, the category of involutive residuated lattices M whose unit is fixed by the involution and has a Boolean complement c (the underlying set of CM is the set of elements greater or equal than c). If we restrict to the full subcategory NRL of cuRL of those objects that have a nilpotent c, then C is an equivalence. In fact, CM is isomorphic to CeM, and Ce is adjoint to (_), where (_) assigns to an object A of IRL0 the product A × A0 which is an object of NRL.
dc.descriptionFacultad de Ciencias Exactas
dc.formatapplication/pdf
dc.format93-124
dc.languageen
dc.rightshttp://creativecommons.org/licenses/by/4.0/
dc.rightsCreative Commons Attribution 4.0 International (CC BY 4.0)
dc.subjectMatemática
dc.subjectresiduated lattices
dc.subjectinvolution
dc.subjectKalman functor
dc.titleOn Some Categories of Involutive Centered Residuated Lattices
dc.typeArticulo
dc.typeArticulo


Este ítem pertenece a la siguiente institución