Modules in the category of sheaves over quantales

DOI10.1016/S0168-0072(00)00042-7zbMath0983.18004MaRDI QIDQ5935987

Francisco Miraglia, Marcelo E. Coniglio

Publication date: 21 April 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

internal logic of toposesKaplansky's theoremlocalic topoisheaves over quantale

Mathematics Subject Classification ID

Associative rings of functions, subdirect products, sheaves of rings (16S60) Categorical logic, topoi (03G30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Quantales (06F07) Ordered structures (06F99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (2)

The limit and tensor product in the category of Q-P quantale modules ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Projective modules
• Quantales and their sheaves
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Théorie des modeles et faisceaux
• A theory of quantal sets
• A Gelfand representation theory for \(C^ *\)-algebras
• Sheaves over right sided idempotent quantales

This page was built for publication: Modules in the category of sheaves over quantales