CatDat

Implication Details

Assumptions: continuous

Assumptions on source category: cogenerating setcompletelocally smallwell-powered

Assumptions on target category: locally small

Conclusions: right adjoint

Reason: This is the Special Adjoint Functor Theorem. The proof can be found, for example, at the nLab, or in Mac Lane, Ch. V, Theorem 8.2.