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.
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.
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.
“Composition” is one of those historically loaded names.