traced
Contents
traced#
The free traced category, i.e. diagrams with swaps where outputs can feedback into inputs.
Summary#
A traced diagram is a monoidal diagram with |
|
A traced box is a monoidal box in a traced diagram. |
|
A trace is a diagram |
|
A traced category is a monoidal category with a method |
|
A cartesian functor is a monoidal functor that preserves traces. |