\(\mathcal Q\)-\(*\)-categories

DOI10.1007/s10485-008-9149-0zbMath1205.18007OpenAlexW2117803402MaRDI QIDQ842761

Hans Heymans

Publication date: 25 September 2009

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-008-9149-0

zbMATH Keywords

enriched categoryinvolutive quantaloidpresheavesheave

Mathematics Subject Classification ID

Quantales (06F07) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

Sheaves on involutive quantales: Grothendieck quantales. ⋮ Unnamed Item ⋮ Preordered sets valued in a GL-monoid ⋮ Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry ⋮ Groupoid sheaves as quantale sheaves ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Two types of Galois correspondences over quantaloid-typed sets

Cites Work

• Variation through enrichment
• Quantales and their sheaves
• Sheaves on sites as Cauchy-complete categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Sheaves on involutive quantaloids
• 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