Pages that link to "Item:Q5066951"
From MaRDI portal
The following pages link to String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951):
Displaying 12 items.
- Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System (Q4989173) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness (Q6077384) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
- Categories of Differentiable Polynomial Circuits for Machine Learning (Q6393524) (← links)
- Graph Rewriting Components (Q6487304) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- A categorical approach to synthetic chemistry (Q6605361) (← links)
- Truth diagrams for some non-classical and modal logics (Q6650730) (← links)
- Termination of rewriting on reversible Boolean circuits as a free 3-category problem (Q6664060) (← links)