Exponentiable functors between quantaloid-enriched categories
Isar Stubbe · 2006
Abstract. Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products; so that the result follows from an observation by Dyckhoff and Tholen [1987].