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

DOI10.1016/J.JPAA.2016.04.014MaRDI QIDQ284976zbMATHOpenAlexWikidataFDO

Authors J. L. Castiglioni, Matias Menni, W. J. 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

topoibounded distributive latticesintegral rigslocal homeomorphismsMV-algebrassheaves

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) MV-algebras (06D35) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to varieties of these. In particular, as a corollary, we obtain a representation theorem for pre-linear residuated join-semilattices in terms of totally ordered fibers. The restriction of this result to the level of MV-algebras coincides with the Dubuc-Poveda representation theorem.

Recommendations

• Representation theory of MV-algebras
• General coupled semirings of residuated lattices
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
• On topological MV-algebras and topological \(\ell \)-groups
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices

Cites work

• scientific article; zbMATH DE number 6828943 (Why is no real title available?)
• scientific article; zbMATH DE number 3656176 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19477 (Why is no real title available?)
• scientific article; zbMATH DE number 19501 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 929637 (Why is no real title available?)
• scientific article; zbMATH DE number 3291971 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Algebraic foundations of many-valued reasoning
• Compact representations of BL-algebras
• Core varieties, extensivity, and rig geometry
• Erratum to ``Representation theory of MV-algebras
• Grothendieck-like duality for Heyting algebras.
• Introduction to extensive and distributive categories
• Modules over commutative regular rings
• Representation theory of MV-algebras
• Representations of MV-algebras by sheaves
• Reticulated rings
• Rings, fields, and spectra
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Sheaf spaces and sheaves of universal algebras
• Sheaves in geometry and logic: a first introduction to topos theory
• The representation of biregular rings by sheaves

Cited in

(12)

• On finite MTL-algebras that are representable as poset products of Archimedean chains
• scientific article; zbMATH DE number 6785335 (Why is no real title available?)
• Split exact sequences of finite MTL-chains
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Sheaf representation of monoidal categories
• Powerset residuated algebras
• A basis theorem for 2-rigs and rig geometry
• Coextensive varieties via central elements
• A set-theoretic proof of the representation of MV-algebras by sheaves
• MVW-rigs and product MV-algebras
• Separable MV-algebras and lattice-ordered groups
• Positive rigs

This page was built for publication: A representation theorem for integral rigs and its applications to residuated lattices.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q284976)