Sheaves on involutive quantales: Grothendieck quantales.

DOI10.1016/j.fss.2013.07.008zbMath1337.06009OpenAlexW2418993632MaRDI QIDQ277338

Hans Heymans

Publication date: 29 April 2016

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.07.008

zbMATH Keywords

sheavesquantaloidsenriched categoriesallegoriesGrothendieck topoiinternal posetsinvolutive quantalessuplattices

Mathematics Subject Classification ID

Topoi (18B25) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

Categorical foundations of topology with applications to quantaloid enriched topological spaces ⋮ Lax distributive laws for topology, II ⋮ Open maps of involutive quantales ⋮ Quantales and Fell bundles ⋮ Actions of étale-covered groupoids ⋮ Morita equivalence of pseudogroups ⋮ On sheaf cohomology and natural expansions

Cites Work

• Elementary characterisation of small quantaloids of closed cribles
• Groupoid sheaves as quantale sheaves
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
• \(\mathcal Q\)-\(*\)-categories
• Étale groupoids and their quantales
• Fuzzy sets and sheaves. I: Basic concepts
• Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology
• Sheaves as modules
• Variation through enrichment
• Topoi. The categorial analysis of logic
• Sheaves on sites as Cauchy-complete categories
• The red book of varieties and schemes
• Sheaves on involutive quantaloids
• Grothendieck quantaloids for allegories of enriched categories
• Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
• An extension of the Galois theory of Grothendieck
• Q-modules are Q-suplattices
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Metric spaces, generalized logic, and closed categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item