Post #3210907

@sjoerd_visscher@types.pl Half of category theory is struggling with conventions. I decided to use the convention where the direction of the profunctor arrow agrees with the direction of morphisms in the hom-functor.