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 8 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 simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← 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)
