When is Cat(Q) cartesian closed?
arXiv:2501.03942
Abstract
We give an elementary characterization of those quantaloids Q for which the category Cat(Q) of Q-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.
9 pages, accepted for publication