If "category" has a better name.... (sopuli.xyz)

submitted 1 year ago by [email protected] to c/[email protected]

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

[-] [email protected] 2 points 1 year ago* (last edited 1 year 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.

permalink
fedilink
source
parent
hideshow 2 child comments

[-] [email protected] 1 points 1 year ago

"Composition" is one of those historically loaded names.

permalink
fedilink
source
parent

this post was submitted on 14 Mar 2024

5 points (100.0% liked)

Functional Programming

1507 readers

3 users here now

founded 2 years ago

MODERATORS

[email protected]