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)