Post #3023670

@BartoszMilewski@mathstodon.xyz I was confused here, the morphisms are always correct too, because the “diagonals” are elements of the profunctor which must be equal in case of a thin profunctor.