scientific article
From MaRDI portal
Publication:3156500
zbMath1062.18007MaRDI QIDQ3156500
Publication date: 10 January 2005
Full work available at URL: https://eudml.org/doc/124613
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (58)
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
This page was built for publication:
