![](/static/253f0d9b/assets/icons/icon-96x96.png)
![](https://programming.dev/pictrs/image/170721ad-9010-470f-a4a4-ead95f51f13b.png)
1·
2 months agoYandex:
First result with a more up to date version. No AI, only quotes from the source. Still shows a bunch of SEO.
Yandex:
First result with a more up to date version. No AI, only quotes from the source. Still shows a bunch of SEO.
Doesn’t that construction only work in categories that also contain their own morphisms as objects since a profunctor maps
(Cᵒᵖ × C) → Set
and not the same like(Cᵒᵖ × C) → C
? Since the category of Haskell types special, containing its own morphisms, so the profunctor could be like(haskᵒᵖ × hask) -> hask
? or I just don’t understand it.