A representation theorem for integral rigs and its applications to residuated lattices. (Q284976): Difference between revisions

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\).