Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid

DOI10.1007/S10485-004-7421-5zbMATH Open1093.06013arXivmath/0409477OpenAlexW2154214125MaRDI QIDQ816646FDOQ816646

Authors: Isar Stubbe 

Publication date: 23 February 2006

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

Abstract: Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion. There is a quantaloid Idl(Q) of Q-orders and ideal relations, and a locally ordered category Ord(Q) of Q-orders and monotone maps; actually, Ord(Q)=Map(Idl(Q)). In particular is Ord(Omega), with Omega a locale, the category of ordered objects in the topos of sheaves on Omega. In general Q-orders can equivalently be described as Cauchy complete categories enriched in the split-idempotent completion of Q. Applied to a locale Omega this generalizes and unifies previous treatments of (ordered) sheaves on Omega in terms of Omega-enriched structures.

Full work available at URL: https://arxiv.org/abs/math/0409477

Recommendations

• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Sheaves on quantaloids
• scientific article; zbMATH DE number 2172965
• scientific article; zbMATH DE number 6382868
• \(\mathcal Q\)-\(*\)-categories

zbMATH Keywords

localequantalequantaloidCauchy completionordered sheafenriched categorical structure

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• ENRICHED CATEGORIES AND COHOMOLOGY
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (16)

• Title not available (Why is that?)
• An introduction to quantaloid-enriched categories
• Preordered sets valued in a GL-monoid
• 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
• On quantaloids and quantal categories
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• On fuzzification of the notion of quantaloid
• Grothendieck quantaloids for allegories of enriched categories
• Regularity vs. constructive complete (co)distributivity
• QUASI-SYMMETRIC ⌉B -CATEGORIES
• Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
• Quantum spaces
• Title not available (Why is that?)

This page was built for publication: Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid

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