In this post I will focus on the concept of dual objects and dualizability, which in the context of categorical quantum mechanics captures the notion of maximally entangle states (Bell states, etc). In the graphical calculus, this enables wires to bend backwards in time.
Here are the snake equations, the fundamental axioms of dual objects:
