A category is basically a directed multigraph with composition law — so in a meaningful sense, it’s graph-theory with extra structure. The actual payoff is the vocabulary it gives you for reasoning about “shapes of computation.”
A category is basically a directed multigraph with composition law — so in a meaningful sense, it’s graph-theory with extra structure. The actual payoff is the vocabulary it gives you for reasoning about “shapes of computation.”