The coYoneda lemma has an important consequence in the special case of a set-valued functor called the density theorem.