4 ms·
"Categories are just multigraphs with composition and stipulated identities on edges, what's the problem?" Just kidding, I appreciate the trailhead. :)
by rfrey 12y ago
"Categories are just multigraphs with composition and stipulated identities on edges, what's the problem?"
Just kidding, I appreciate the trailhead. :)
- sanderjd 12y agoHa, I actually read his last sentence as sarcasm initially and thought "haven't I heard this joke..." only to find that you had already referenced the one I was thinking of: "A monad is just a monoid in the category of endofunctors, what's the problem?"
- daffodil2 12y agoI didn't mean to imply it was trivial to understand, but it's no more difficult than the formal definition of, say, a derivative (which involves a limit, and hence an epsilon-delta construction, which in my experience are not so easy to fit in your head at first). Understanding what a multigraph is should be doable.
- sanderjd 12y agoI totally agree with you, but jargon of all kinds just sounds funny to people unaccustomed to it, regardless of its difficulty to understand!