A representation theorem for integral rigs and its applications to residuated lattices
We generalize the Dubuc–Poveda representation theorem for MV-algebras so that it applies to other algebraic categories of residuated join-semilattices. In particular, as a corollary, we obtain a representation result for pre-linear residuated join-semilattices in terms of totally ordered fibers. The...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | Articulo Preprint |
Lenguaje: | Inglés |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/99230 https://ri.conicet.gov.ar/11336/54815 |
Aporte de: |
id |
I19-R120-10915-99230 |
---|---|
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 Sheaves Integral rigs Really local objects |
spellingShingle |
Matemática Sheaves Integral rigs Really local objects Castiglioni, José Luis Menni, Matías Zuluaga Botero, William Javier A representation theorem for integral rigs and its applications to residuated lattices |
topic_facet |
Matemática Sheaves Integral rigs Really local objects |
description |
We generalize the Dubuc–Poveda representation theorem for MV-algebras so that it applies to other algebraic categories of residuated join-semilattices. In particular, as a corollary, we obtain a representation result for pre-linear residuated join-semilattices in terms of totally ordered fibers. The main result is analogous to the Zariski representation of (commutative) rings and it is proved using tools from topos theory. |
format |
Articulo Preprint |
author |
Castiglioni, José Luis Menni, Matías Zuluaga Botero, William Javier |
author_facet |
Castiglioni, José Luis Menni, Matías Zuluaga Botero, William Javier |
author_sort |
Castiglioni, José Luis |
title |
A representation theorem for integral rigs and its applications to residuated lattices |
title_short |
A representation theorem for integral rigs and its applications to residuated lattices |
title_full |
A representation theorem for integral rigs and its applications to residuated lattices |
title_fullStr |
A representation theorem for integral rigs and its applications to residuated lattices |
title_full_unstemmed |
A representation theorem for integral rigs and its applications to residuated lattices |
title_sort |
representation theorem for integral rigs and its applications to residuated lattices |
publishDate |
2016 |
url |
http://sedici.unlp.edu.ar/handle/10915/99230 https://ri.conicet.gov.ar/11336/54815 |
work_keys_str_mv |
AT castiglionijoseluis arepresentationtheoremforintegralrigsanditsapplicationstoresiduatedlattices AT mennimatias arepresentationtheoremforintegralrigsanditsapplicationstoresiduatedlattices AT zuluagaboterowilliamjavier arepresentationtheoremforintegralrigsanditsapplicationstoresiduatedlattices AT castiglionijoseluis representationtheoremforintegralrigsanditsapplicationstoresiduatedlattices AT mennimatias representationtheoremforintegralrigsanditsapplicationstoresiduatedlattices AT zuluagaboterowilliamjavier representationtheoremforintegralrigsanditsapplicationstoresiduatedlattices |
bdutipo_str |
Repositorios |
_version_ |
1764820493094879234 |