Exponentiable functors between quantaloid-enriched categories
Category Theory
2007-05-23 v2
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].
Cite
@article{arxiv.math/0604569,
title = {Exponentiable functors between quantaloid-enriched categories},
author = {Maria Manuel Clementino and Dirk Hofmann and Isar Stubbe},
journal= {arXiv preprint arXiv:math/0604569},
year = {2007}
}
Comments
10 pages; correction of flaw in proof