Hacker News new | ask | show | jobs
by xanderlewis 258 days ago
No, but if you want to talk about composing those arrows (and a sensible notion of composition should probably be associative, and perhaps have a unit) you eventually end up reinventing category theory.