Pages that link to "Item:Q5410683"
From MaRDI portal
The following pages link to Interacting Bialgebras Are Frobenius (Q5410683):
Displayed 13 items.
- Interacting Hopf algebras (Q308156) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- The algebra of partial equivalence relations (Q1744396) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics (Q2658279) (← links)
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Q3454104) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Refinement for signal flow graphs (Q5111638) (← links)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (Q5377698) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Towards compositional graph theory (Q5971395) (← links)