A representation theorem for integral rigs and its applications to residuated lattices. (Q284976): Difference between revisions
From MaRDI portal
Latest revision as of 00:54, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A representation theorem for integral rigs and its applications to residuated lattices. |
scientific article |
Statements
A representation theorem for integral rigs and its applications to residuated lattices. (English)
0 references
18 May 2016
0 references
A \textit{rig} is a set \(R\) equipped with two commutative monoidal structures \((R,+,0)\) and \((R,\cdot,1)\) such that multiplication distributes over addition. \(R\) is said to be \textit{integral} if \(1+x=1\) for all \(x\) in \(R\). It is shown that every integral rig is (functorially) the rig of global sections of an internal really local integral rig in a topos of sheaves over a bounded distributive lattice. As a corollary, a representation is obtained for prelinear residuated join-semilattices in terms of totally ordered fibers. Upon restriction to MV-algebras, this yields the Dubuc-Poveda representation theorem [see \textit{E. J. Dubuc} and \textit{Y. A. Poveda}, Ann. Pure Appl. Logic 161, No. 8, 1024-1046 (2010; Zbl 1229.06006); erratum 163, No. 9, 1358 (2012)]. A main tool for the construction in this paper is given by the equivalence between the topos of sheaves over a topological space \(X\), and the topos of local homeomorphisms over \(X\).
0 references
integral rigs
0 references
MV-algebras
0 references
bounded distributive lattices
0 references
topoi
0 references
sheaves
0 references
local homeomorphisms
0 references