CatDat

Implication Details

Assumptions: continuous

Requirements of the source: cogenerating setcompletelocally essentially smallwell-powered

Requirements of the target: locally essentially small

Conclusions: right adjoint

Proof: 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.

Show 3 functors using this implication