Categoría exponencialmente fiel: Un teorema sobre functores adjuntos.
Cristina Martínez Calvo (1979)
Revista Matemática Hispanoamericana
Similarity:
Let P be a small category and A(B) a category such that the functor A → A (B → B) 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 → A 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 A: A → A has an adjoint functor.