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

Functional Programming

1393 readers
1 users here now

founded 1 year ago
MODERATORS
 

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
[โ€“] [email protected] 2 points 7 months ago* (last edited 7 months ago) (1 children)

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.

[โ€“] [email protected] 1 points 7 months ago

"Composition" is one of those historically loaded names.