Publication:3156500
From MaRDI portal
zbMath1062.18007MaRDI QIDQ3156500
Publication date: 10 January 2005
Full work available at URL: https://eudml.org/doc/124613
Related Items
A Finite Axiomatisation of Finite-State Automata Using String Diagrams, Completeness of Nominal PROPs, Interacting Hopf algebras, String diagram rewrite theory II: Rewriting with symmetric monoidal structure, Convexity via Weak Distributive Laws, String Diagram Rewrite Theory I: Rewriting with Frobenius Structure, Unnamed Item, Composing PROBs, Unnamed Item, Span composition using fake pullbacks, Picturing classical and quantum Bayesian inference, A Topological Perspective on Interacting Algebraic Theories, Labelled cospan categories and properads, Unnamed Item, DisCoPy: Monoidal Categories in Python, Monoidal Width, Free gs-monoidal categories and free Markov categories, Homotopy composition of cospans, Factorizable enriched categories and applications, Monoidal Width: Capturing Rank Width, String Diagrams for Layered Explanations, Unnamed Item, Unnamed Item, Duoidally enriched Freyd categories, Bidirectional processes -- in category theory, physics, engineering, \dots, Unnamed Item, Unnamed Item, Unnamed Item, Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, Unnamed Item, Towards compositional graph theory, Unnamed Item, Interacting quantum observables: categorical algebra and diagrammatics, Unnamed Item, A string diagrammatic axiomatisation of finite-state automata, The structure of sum-over-paths, its consequences, and completeness for Clifford, The algebra of partial equivalence relations, Bases in Diagrammatic Quantum Protocols, Coherence for modalities, Hypergraph categories, The Algebra of Directed Acyclic Graphs, Lawvere Categories as Composed PROPs, Decorated Corelations, Note on the construction of free monoids, Props in Network Theory, Universal Constructions for (Co)Relations: categories, monoidal categories, and props, Operads and PROPs, Unnamed Item, The calculus of signal flow diagrams. I: Linear relations on streams., PROPs for involutive monoids and involutive bimonoids, Circuit algebras are wheeled props, Graphical Conjunctive Queries., Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}, Exploring a Quantum Theory with Graph Rewriting and Computer Algebra, Phase Groups and the Origin of Non-locality for Qubits, Graphical Calculus for Quantum Key Distribution (Extended Abstract), Corelations are the prop for extraspecial commutative Frobenius monoids, Distributive laws between the Three Graces