The following pages link to (Q5227516):
Displaying 5 items.
- (Q3384951) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- Shaded tangles for the design and verification of quantum circuits (Q5160634) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)