The following pages link to Composing PROPs (Q3156500):
Displaying 50 items.
- Interacting Hopf algebras (Q308156) (← links)
- Picturing classical and quantum Bayesian inference (Q383002) (← links)
- Factorizable enriched categories and applications (Q411784) (← links)
- Coherence for modalities (Q531368) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- The algebra of partial equivalence relations (Q1744396) (← links)
- Hypergraph categories (Q2001422) (← links)
- Circuit algebras are wheeled props (Q2040518) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- The structure of sum-over-paths, its consequences, and completeness for Clifford (Q2233432) (← links)
- Note on the construction of free monoids (Q2268749) (← links)
- Editorial -- Recent trends in international reserves: theory and evidence (Q2685476) (← links)
- Phase groups and the origin of non-locality for qubits (Q2825362) (← links)
- Graphical calculus for quantum key distribution (extended abstract) (Q2825376) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- Operads and PROPs (Q3053870) (← links)
- (Q3384933) (← links)
- (Q3385629) (← links)
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra (Q3637271) (← links)
- Decorated Corelations (Q4577990) (← links)
- Props in Network Theory (Q4585017) (← links)
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
- The Algebra of Directed Acyclic Graphs (Q4922072) (← links)
- A diagrammatic axiomatisation of fermionic quantum circuits (Q4993345) (← links)
- Span composition using fake pullbacks (Q5004663) (← links)
- (Q5013809) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- (Q5020635) (← links)
- (Q5028467) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- (Q5092417) (← links)
- PROPs for involutive monoids and involutive bimonoids (Q5129223) (← links)
- Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
- Distributive laws between the Three Graces (Q5203766) (← links)
- (Q5227516) (← links)
- (Q5232908) (← links)
- Homotopy composition of cospans (Q5354374) (← links)
- Bases in Diagrammatic Quantum Protocols (Q5415635) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Composing PROBs (Q5868037) (← links)
- (Q5875356) (← links)
- (Q5875359) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
