加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本