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