A theory of quantal sets

DOI10.1016/0022-4049(89)90147-3MaRDI QIDQ1825950zbMATH OpenOpenAlexFDO

Authors Ugo Berni-Canani, Rosanna Succi-Cruciani, F. Borceux

Publication date 1989

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

Full work available at URL https://doi.org/10.1016/0022-4049(89)90147-3

zbMATH Keywords

fibrationquantale-valued setsheaves of a locale

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Complete lattices, completions (06B23) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Review text

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.

Recommendations

• Quantal sets and sheaves over quantales
• scientific article; zbMATH DE number 6382868
• scientific article; zbMATH DE number 764339
• Sheaves on involutive quantaloids
• Sheaves on quantaloids

Cites work

• An essay on noncommutative topology
• scientific article; zbMATH DE number 4030272 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3486022 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3605078 (Why is no real title available?)
• scientific article; zbMATH DE number 764339 (Why is no real title available?)
• Quantales and their sheaves
• Sheaves on sites as Cauchy-complete categories

Cited in

(25)

• Quantum set theory
• \(GL\)-quantales: \(Q\)-valued sets and their singletons
• Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
• Quantal sets and sheaves over quantales
• Generalized logic and the representation of rings
• On quantaloids and quantal categories
• Grothendieck quantaloids for allegories of enriched categories
• Coproduct and amalgamation of deductive systems by means of ordered algebras
• Set-theoretical models for quantum systems
• A completeness theorem of quantum set theory
• scientific article; zbMATH DE number 6371948 (Why is no real title available?)
• scientific article; zbMATH DE number 436449 (Why is no real title available?)
• The lambek sheaf reexamined
• scientific article; zbMATH DE number 4125443 (Why is no real title available?)
• scientific article; zbMATH DE number 1236104 (Why is no real title available?)
• Preordered sets valued in a GL-monoid
• scientific article; zbMATH DE number 2064307 (Why is no real title available?)
• Quantization of set theory and generalization of the fermion algebra
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• A non-commutative and non-idempotent theory of quantale sets
• QUASI-SYMMETRIC ⌉B -CATEGORIES
• scientific article; zbMATH DE number 5054860 (Why is no real title available?)
• Modules in the category of sheaves over quantales
• On categories of quantale valued sets
• Groupoid sheaves as quantale sheaves

This page was built for publication: A theory of quantal sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1825950)