A Categorical Equivalence Motivated by Kalman’s Construction
An equivalence between the category of MV-algebras and the category (Formula presented.) is given in Castiglioni et al. (Studia Logica 102(1):67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations (Formula presented.) and (Formula presente...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2016 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/54338 |
| Acceso en línea: | http://hdl.handle.net/11336/54338 |
| Access Level: | acceso abierto |
| Palabra clave: | Adjunction Categorical Equivalence Ideals Mv-Algebras https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | An equivalence between the category of MV-algebras and the category (Formula presented.) is given in Castiglioni et al. (Studia Logica 102(1):67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations (Formula presented.) and (Formula presented.). An object of (Formula presented.) is a residuated lattice which in particular satisfies some equations which correspond to the previous equations. In this paper we extend the equivalence to the category whose objects are pairs (A, I), where A is an MV-algebra and I is an ideal of A. |
|---|