Talk:Profunctor

On the orientation of profunctors
Traditional definition of a distributor/profunctor
 * $$\phi \colon C\nrightarrow D$$

is, as stated in the definition, a functor
 * $$\phi \colon D^{\mathrm{op}}\times C\to\mathbf{Set}$$

However the more intuitive alternative definition of distributors/profunctors as categories is equivalent to a functor
 * $$\phi \colon C^{\mathrm{op}}\times D\to\mathbf{Set}$$

This introduce a small inconsistency in the article that could be clarified

12:06, 24 March 2020 (UTC) — Preceding unsigned comment added by ErnstGR (talk • contribs)