Exponentiable functors between quantaloid-enriched categories
Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe
Abstract
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor 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 with that functor; so that the functor's exponentiability follows from the works of Niefield [1980] and Dyckhoff and Tholen [1987].
Create a lesson
Related papers
Failure of Higher-Order Truth within Intuitionistic Propositional Logic
Lingyuan Ye, Yiqi Xu
Finitistic dimensions in triangulated categories with a compact silting generator
Xiaoyan Yang
De Morgan's Laws in Tensor-Triangular Geometry
Mark Lyttle
Absolute colimits
Richard Garner, Ross Street
A Categorical Framework for the Direct Integration of Banach Spaces
Daniel Funck, Giacomo Gavelli
The Cofree Functor on G-Sets and Its Approximations
Frank Murphy-Hernandez