When is Cat(Q) cartesian closed?

2025/01/07 by Stubbe, Isar, Yu, Junche
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2501.03942

Abstract

An example in the paper "Exponentiable functors between quantaloid-enriched categories" is mistaken: it is not true that the category of categories and functors enriched in any free quantaloid is cartesian closed. To correct this, we give here an elementary characterization of those quantaloids Q for which Cat(Q) is cartesian closed. With this characterization, we unify several known cases (previously proven using ad hoc methods) and we give some new examples.

Related

• When is the category [0,1]-Cat cartesian closed?
• The category of categories with pullbacks is cartesian closed
• Categorical structures enriched in a quantaloid: categories, distributors and functors
• Cartesian closed exact completions in topology
• Exponentiable functors between quantaloid-enriched categories