The following pages link to Open-graphs and monoidal theories (Q4917191):
Displaying 12 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)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← 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)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
