Arrow chasing
Revision as of 13:49, 5 May 2021 by imported>Benkoo (Created page with "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'''...")
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.