Categoría exponencialmente fielun teorema sobre functores adjuntos.
ISSN: 0373-0999
Año de publicación: 1979
Volumen: 39
Número: 6
Páginas: 267-275
Tipo: Artículo
Otras publicaciones en: Revista matemática hispanoamericana
Resumen
Let P be a small category and A(B) a category such that the functor A ? AP (B ? BP) determined by the projection functor A x P ? A (B x P ? B) has an adjoint for all small category P. A functor G: B ? AP has an adjoint functor if and only if it has and adjoint functor "via" evaluation. If Q is another small category and F: P ? Q an arbitrary functor, the functor AF: AQ ? AP has an adjoint functor.