5

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
[-] wargreymon2023@sopuli.xyz 2 points 8 months ago* (last edited 8 months 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 8 months ago

"Composition" is one of those historically loaded names.

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

Functional Programming

1389 readers
1 users here now

founded 1 year ago
MODERATORS