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

DOI10.1016/J.JPAA.2016.04.014zbMATH Open1343.06008arXiv1510.06332OpenAlexW2963856398WikidataQ112120953 ScholiaQ112120953MaRDI QIDQ284976FDOQ284976

Matias Menni, J. L. Castiglioni, W. J. Zuluaga Botero

Publication date: 18 May 2016

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

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.

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)

Cites Work

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

Cited In (9)

• Split exact sequences of finite MTL-chains
• MVW-rigs and product MV-algebras
• Positive rigs
• On finite MTL-algebras that are representable as poset products of Archimedean chains
• Title not available (Why is that?)
• Separable MV-algebras and lattice-ordered groups
• A set-theoretic proof of the representation of MV-algebras by sheaves
• Sheaf representation of monoidal categories
• Coextensive varieties via central elements

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)