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.
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.
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.