theorem. general adjoint functor theorem [leinster2016basic, 6.3.10] [tt-004E]
theorem. general adjoint functor theorem [leinster2016basic, 6.3.10] [tt-004E]
Limit-preservation alone does not guarantee the existence of a left adjoint. This theorem specifies the conditions under which a limit-preserving functor has a left adjoint. This theorem requires the definition of weakly initial set.
fill in details.