When is $$\textsf{Cat}(\mathcal {Q})$$ Cartesian Closed?
Abstract We give an elementary characterization of those quantaloids $$\mathcal {Q}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Q</mml:mi> </mml:math> for which the category $$\textsf{Cat}(\mathcal {Q})$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>Cat</mml:mi> <mml:mo>(</mml:mo> <mml:mi>Q</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> of $$\mathcal {Q}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Q</mml:mi> </mml:math> -enriched categories and functors is cartesian closed. We then unify several known cases (previously proven using ad hoc methods) and we give some new examples.
Authors
- Junche Yu
- Isar Stubbe
Institutions
- Université du littoral côte d'opale (FR)
- Ocean University of China (CN)
Publication Details
- Journal
- Applied Categorical Structures
- Published
- 2026-02-01
- DOI
- https://doi.org/10.1007/s10485-026-09846-2
- Primary Topic
- Homotopy and Cohomology in Algebraic Topology
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Université du Littoral Côte d'Opale