BartoszMilewski, 1 month ago @johncarlosbaez It's actually a serious problem. How do I define the category of elements for a profunctor: both arrows in the same direction, or twisted?
@johncarlosbaez It's actually a serious problem. How do I define the category of elements for a profunctor: both arrows in the same direction, or twisted?