Profunctor

A profunctor is a Functor $\mathcal{C}^{\mathrm{op}}\times\mathcal{D}\to\mathrm{Sets}$. We should think of profunctors as a sort of "proof relevant relation" on categories, or as a sort of Bimodule of categories.