Quantal sets and sheaves over quantales

DOI10.1007/BF02335387zbMath0837.18003MaRDI QIDQ1897895

Remigijus Petras Gylys

Publication date: 18 September 1995

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

framesquantalescategorical logicEilenberg-Moore algebrassingletonsmonad on category of \(Q\)-setsquantal setssheaves over quantales

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (6)

Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ On quantaloids and quantal categories ⋮ Preordered sets valued in a GL-monoid ⋮ Groupoid sheaves as quantale sheaves ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Algebraic and Categorical Aspects of Quantales

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantales and their sheaves
• A representation theorem for quantales
• A theory of quantal sets
• An extension of the Galois theory of Grothendieck
• Quantales and (noncommutative) linear logic
• Quantales and C∗-Algebras
• Constructing locales from quantales
• Quantales, observational logic and process semantics
• Remarks on quantic nuclei

This page was built for publication: Quantal sets and sheaves over quantales