82cb5abccd918e03

joined 1 year ago
sorted by: new top controversial old
1
0x1f53b (lemmygrad.ml)
 
Programming as a hobby means I can do whatever I want! in c/[email protected]
[–] [email protected] 4 points 10 months ago (1 children)

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.

What it's like to be a developer in 2024 in c/[email protected]
[–] [email protected] 1 points 11 months ago

Yandex:

First result with a more up to date version. No AI, only quotes from the source. Still shows a bunch of SEO.