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?



Distributions as presheaves?
While maybe not exactly what you were after, here is something that you might enjoy looking into, which relates presheaves and distributions.


There exists a category of sheaves on certain test objects, such that 


* this category is a [smooth topos](http://ncatlab.org/nlab/show/smooth+topos) into which the category of smooth manifolds embeds full and faithfully.
* in this topos, there exists not only a notion of [infinitesimals](http://ncatlab.org/nlab/show/infinitesimal+object), as in every smooth topos, but also of invertible infinitesimals, in fact, this topos provides a model for [nonstandard analysis](http://ncatlab.org/nlab/show/nonstandard+analysis).
* Accordingly, in this topos distributions on manifolds are given by actual functions - internally in the topos.


So in a way, this topos makes precise and manifest the intuition that distributions are "generalized functions". They *are* functions in this topos.


The topos that I am talking about is described in great detail in section VI of the textbook [Models for Smooth Infinitesimal Analysis](http://ncatlab.org/nlab/show/Models+for+Smooth+Infinitesimal+Analysis). The test objects in this case, i.e. the objects in the site that the topos is a category of sheaves over, are [smooth loci](http://ncatlab.org/nlab/show/smooth+locus).


Distributions are discussed in section VII,3


