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

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

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

• 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?)
• Cartesianness: topological spaces, uniform spaces, and affine schemes
• Exponentiable morphisms, partial products and pullback complements
• Exponentiation in \({\mathcal V}\)-categories
• Free quantaloids
• Quantaloids, enriched categories and automata theory

Cited in

(4)

• The rise and fall of \(V\)-functors
• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• Kantorovich functors and characteristic logics for behavioural distances
• scientific article; zbMATH DE number 7692246 (Why is no real title available?)

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)