Graph Traversals as Universal Constructions

Siddharth Bhaskar, Robin Kaarsgaard

We exploit a decomposition of graph traversals to give a novel characterization of depth-first and breadth-first traversals as universal constructions. Specifically, we introduce f…