The following pages link to Open-graphs and monoidal theories (Q4917191):
Displaying 9 items.
- Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
- Tensors, !-graphs, and non-commutative quantum structures (Q1670507) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)
- (Q5875361) (← links)
- A Category of Surface-Embedded Graphs (Q6150141) (← links)
