A representation theorem for integral rigs and its applications to residuated lattices.

DOI10.1016/j.jpaa.2016.04.014zbMath1343.06008arXiv1510.06332WikidataQ112120953 ScholiaQ112120953MaRDI QIDQ284976

José Luis Castiglioni, Matias Menni, William Javier Zuluaga Botero

Publication date: 18 May 2016

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.06332

zbMATH Keywords

MV-algebras; sheaves; topoi; bounded distributive lattices; integral rigs; local homeomorphisms

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B25: Topoi

06D35: MV-algebras

18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

Related Items

Split exact sequences of finite MTL-chains, Unnamed Item, MVW-rigs and product MV-algebras, A set-theoretic proof of the representation of MV-algebras by sheaves, On finite MTL-algebras that are representable as poset products of Archimedean chains, Coextensive varieties via central elements

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Erratum to ``Representation theory of MV-algebras
• Representation theory of MV-algebras
• Reticulated rings
• Sheaves in geometry and logic: a first introduction to topos theory
• Introduction to extensive and distributive categories
• Rings, fields, and spectra
• Compact representations of BL-algebras
• Grothendieck-like duality for Heyting algebras.
• Algebraic foundations of many-valued reasoning
• The representation of biregular rings by sheaves
• Sheaf spaces and sheaves of universal algebras
• Representations of MV-algebras by sheaves
• Modules over commutative regular rings