Skip to main content
7 of 7
deleted 46 characters in body
varkor
  • 10.7k
  • 29
  • 72

Assuming $\mathcal C$ and $\mathcal D$ are locally small and $\mathcal C$ is small-cocomplete, a functor $F \colon \mathcal C \to \mathcal D$ is a left adjoint if and only if it is small-cocontinuous and satisfies the solution set condition. Therefore, a small-cocomplete category $\mathcal C$ is strongly compact in your sense if and only if every small-cocontinuous functor with domain $\mathcal C$ satisfies the solution set condition. These categories were studied in Ulmer's The adjoint functor theorem and the Yoneda embedding (see Theorem 13, for instance), but were not given a name. Ulmer did not study the variant where $\mathcal C$ is not required to be small-cocomplete.

The relationship to compactness in the sense of Isbell is described in Theorem 8 (where functors preserving all large colimits are called supercocontinuous).

(Thanks to Ivan Di Liberti for pointing out a mistake in the original answer.)

varkor
  • 10.7k
  • 29
  • 72