3 ms·
I'm a category theory novice, but isn't their arrow definition a category that looks suspiciously like a monoid? And isn't an actual arrow a morphism, which is
by davidmathers 18y ago
I'm a category theory novice, but isn't their arrow definition a category that looks suspiciously like a monoid? And isn't an actual arrow a morphism, which is this case would just be a function?