Author(s):
Clementino, Maria Manuel 
; Hofmann, Dirk ; Stubbe, Isar
Date: 2006
Persistent ID: http://hdl.handle.net/10316/11324
Origin: Estudo Geral - Universidade de Coimbra
Document details
Exponentiable functors between quantaloid-enriched categories
Description
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]. Isar Stubbe, Post-Doctoral Researcher for Flanders’ Fund for Scientific Research
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]. Isar Stubbe, Post-Doctoral Researcher for Flanders’ Fund for Scientific Research
Document Type
Preprint
Language English
Language English
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||