A theory of quantal sets (Q1825950)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4122192
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A theory of quantal sets |
scientific article; zbMATH DE number 4122192 |
Statements
A theory of quantal sets (English)
0 references
1989
0 references
The authors introduce a more elaborate analogue for quantales [\textit{F. Borceux} and \textit{G. van den Bossche}, Order 3, 61-87 (1986; Zbl 0595.18003)] of sheaves of a locale. A Q-set for a quantale Q is defined as a set A with a Q-valued relation \(''='': A\times A\to Q\) which is transitive \((a=a'\&a'=a''\leq a=a'')\) and satisfies a weakened version of symmetry. Q-sets lead to a fibration \(\underset \tilde{} {E} Q\) whose fibers are toposes. The properties of this construction are developed with the aim of showing that it gives an adequate version of sheaves.
0 references
quantale-valued set
0 references
sheaves of a locale
0 references
fibration
0 references
0.8612149357795715
0 references
0.8611959218978882
0 references
0.8488612771034241
0 references
