A Categorical Equivalence Motivated by Kalman’s Construction

An equivalence between the category of MV-algebras and the category MV∙ 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 a=¬¬a,(a→b)∨(b→a)=1 and a⊙(a→b)=a∧b. An object of MV∙ is a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Sagastume, Marta Susana, San Martín, Hernán Javier
Formato: Articulo
Lenguaje:Inglés
Publicado: 2015
Materias:
Matemática
MV-algebras
Ideals
Adjunction
Categorical equivalence
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/107887
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-107887
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Matemática
MV-algebras
Ideals
Adjunction
Categorical equivalence
spellingShingle Matemática
MV-algebras
Ideals
Adjunction
Categorical equivalence
Sagastume, Marta Susana
San Martín, Hernán Javier
A Categorical Equivalence Motivated by Kalman’s Construction
topic_facet Matemática
MV-algebras
Ideals
Adjunction
Categorical equivalence
description An equivalence between the category of MV-algebras and the category MV∙ 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 a=¬¬a,(a→b)∨(b→a)=1 and a⊙(a→b)=a∧b. An object of MV∙ 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.
format Articulo
Articulo
author Sagastume, Marta Susana
San Martín, Hernán Javier
author_facet Sagastume, Marta Susana
San Martín, Hernán Javier
author_sort Sagastume, Marta Susana
title A Categorical Equivalence Motivated by Kalman’s Construction
title_short A Categorical Equivalence Motivated by Kalman’s Construction
title_full A Categorical Equivalence Motivated by Kalman’s Construction
title_fullStr A Categorical Equivalence Motivated by Kalman’s Construction
title_full_unstemmed A Categorical Equivalence Motivated by Kalman’s Construction
title_sort categorical equivalence motivated by kalman’s construction
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/107887
work_keys_str_mv AT sagastumemartasusana acategoricalequivalencemotivatedbykalmansconstruction
AT sanmartinhernanjavier acategoricalequivalencemotivatedbykalmansconstruction
AT sagastumemartasusana categoricalequivalencemotivatedbykalmansconstruction
AT sanmartinhernanjavier categoricalequivalencemotivatedbykalmansconstruction
bdutipo_str Repositorios
_version_ 1764820443742601218

Ejemplares similares