Arrow chasing

Arrow chasing is the model of computation particularly obvious in the world of Category Theory. Most of the computational action can be explained by following arrows, the only kind of symbol in Category Theory. Arrow chasing can also be visualized as hyperlinks that relate data components in web pages.