Exponentiable functors between quantaloid-enriched categories

DOI10.1007/S10485-007-9104-5MaRDI QIDQ842756zbMATH OpenOpenAlexFDO

Authors Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe

Publication date 25 September 2009

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

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

Mathematics Subject Classification ID

Quantales (06F07) Special properties of functors (faithful, full, etc.) (18A22) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor's exponentiability follows from the works of Niefield [1980] and Dyckhoff and Tholen [1987].

Recommendations

• scientific article; zbMATH DE number 2172965
• Exponentiation in \({\mathcal V}\)-categories
• scientific article; zbMATH DE number 7692246
• Exponentiability via double categories
• Categorical structures enriched in a quantaloid: tensored and cotensored categories

Cites work

• Cartesianness: topological spaces, uniform spaces, and affine schemes
• Exponentiable morphisms, partial products and pullback complements
• Exponentiation in \({\mathcal V}\)-categories
• Free quantaloids
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1560490 (Why is no real title available?)
• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• Quantaloids, enriched categories and automata theory

Cited in

(8)

• The rise and fall of \(V\)-functors
• Kantorovich functors and characteristic logics for behavioural distances
• scientific article; zbMATH DE number 7692246 (Why is no real title available?)
• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• Quantaloidal completions of order-enriched categories and their applications
• A partial metric semantics of higher-order types and approximate program transformations
• When is \(\mathrm{Cat}(\mathcal{Q})\) Cartesian closed?
• On the Cartesian closedness of \([0,1]\)-\(\mathsf{CAT}\) and some of its subcategories

This page was built for publication: Exponentiable functors between quantaloid-enriched categories

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