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

DOI10.1007/S10485-004-7421-5MaRDI QIDQ816646zbMATH OpenOpenAlexFDO

Authors Isar Stubbe

Publication date 23 February 2006

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

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

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)

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.

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
• Q-*-categories

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 1236104 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• ENRICHED CATEGORIES AND COHOMOLOGY
• Metric spaces, generalized logic, and closed categories

Cited in

(16)

• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• An introduction to quantaloid-enriched categories
• scientific article; zbMATH DE number 2235218 (Why is no real title available?)
• 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
• 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
• Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
• Quantum spaces
• QUASI-SYMMETRIC ⌉B -CATEGORIES

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)