Special adjoint functor theorem (source code)

= Special adjoint functor theorem
{c}
{wiki}

The colimit form of the Special adjoint functor theorem says that a colimit-preserving functor from a locally small, cocomplete, well-copowered category with a small generating family to a locally small category has a right adjoint.