6
If "category" has a better name.... (sopuli.xyz)
submitted 2 years ago by wargreymon2023@sopuli.xyz to c/functional_programming@programming.dev
4 comments fedilink hide all child comments

cross-posted from: https://sopuli.xyz/post/10354955

If "category" has a better name....

Isn't it just "composite"?

Every arrow in category can be composed, the set(or class or whatnot..) of that is composite.

you are viewing a single comment's thread
view the rest of the comments
[-] marcos@lemmy.world 1 points 2 years ago

I guess all the good names were taken.

Categories are just the same as half of math, with less historical cargo so that they can all forced to look the same. But well, that historical stuff already took all the names.

[-] wargreymon2023@sopuli.xyz 2 points 2 years ago* (last edited 2 years ago)

I came up with "composite".

If people would accept "category"..... I mean, we could also have accepted anything, except the new one can express its semantics.

[-] marcos@lemmy.world 1 points 2 years ago

"Composition" is one of those historically loaded names.

this post was submitted on 14 Mar 2024
6 points (100.0% liked)

Functional Programming

1615 readers
1 users here now

founded 2 years ago
MODERATORS
Ategon@programming.dev
cercerilla@programming.dev