The yoneda lemma gives us a characterization of $Psh(\mathcal{C})$ that seems very similar to the theory of distributions. That is, we have a notion of representable presheaves, similar to representable distributions. The ability to talk about presheaves as colimits of representables correlates to the more complicated notion of distributions as derivatives and limits of representables. The whole idea of "test objects" is exactly the same as the notion of "test functions" and so on. Is there a deep connection there or is it just *another* case of stretching the terminology?