233
Programming as a hobby means I can do whatever I want! (sh.itjust.works)
submitted 3 months ago by Thelie@sh.itjust.works to c/programmer_humor@programming.dev
24 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[-] 82cb5abccd918e03@lemmygrad.ml 4 points 3 months ago

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.

[-] kogasa@programming.dev 1 points 3 months ago

Hom functors exist for locally small categories, which is just to say that the hom classes are sets. The distinction can be ignored often because local smallness is a trivial consequence of how the category is defined, but it's not generally true

this post was submitted on 11 Jun 2024
233 points (96.8% liked)

Programmer Humor

19198 readers
2050 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 1 year ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev