@BartoszMilewski@mathstodon.xyz
Post #3023668
2026-05-13 21:15 UTC
@sjoerd_visscher@types.pl @6d03@mathstodon.xyz
This is also known as a Bool-enriched profunctor
Replies (1)
-
@sjoerd_visscher@types.pl 2026-05-14 08:43
@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.