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.