Post #3023669

@BartoszMilewski@mathstodon.xyz That’s what I thought too until yesterday. But there’s a subtle difference. A bool enriched profunctor needs to have bool enriched source and target categories. But a thin profunctor doesn’t need thin source and target categories.