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