Exponentiable functors between quantaloid-enriched categories

Isar Stubbe – 26 March 2008

I shall give elementary conditions, i.e. conditions stated in terms of infima, suprema and compositions of arrows in the base quantaloid Q, that express precisely when a Q-enriched functor is exponentiable (some say "powerful") in the category of Q-enriched categories and functors. The (sketch of the) proof involves - once more! - Q-enriched distributors.