Pages that link to "Item:Q5066951"
From MaRDI portal
The following pages link to String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951):
Displayed 6 items.
- 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 strict constrained superposition calculus for graphs (Q6091185) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
- Categories of Differentiable Polynomial Circuits for Machine Learning (Q6393524) (← links)