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.
Syndicated from the fediverse. Read and engage on the original instance.
View original on sopuli.xyzView original on sopuli.xyz
No replies yet