A representation theorem for integral rigs and its applications to residuated lattices. (Q284976): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Daniele Mundici / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6581944 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
integral rigs | |||
Property / zbMATH Keywords: integral rigs / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
MV-algebras | |||
Property / zbMATH Keywords: MV-algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bounded distributive lattices | |||
Property / zbMATH Keywords: bounded distributive lattices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
topoi | |||
Property / zbMATH Keywords: topoi / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sheaves | |||
Property / zbMATH Keywords: sheaves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local homeomorphisms | |||
Property / zbMATH Keywords: local homeomorphisms / rank | |||
Normal rank |
Revision as of 18:26, 27 June 2023
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