Dynamic Tracing: a graphical language for rewriting protocols

Kristopher Brown, David I. Spivak

The category Set_* of sets and partial functions is well-known to be traced monoidal, meaning that a partial function S+U -/-> T+U can be coherently transformed into a partial func…