Exponentiable functors between quantaloid-enriched categories
classification
🧮 math.CT
keywords
functorcategorieselementaryexistenceexponentiablefollowsfunctorsquantaloid-enriched
read the original 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].
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.