The Algebra of Directed Acyclic Graphs

DOI10.1007/978-3-642-38164-5_4zbMath1264.18005arXiv1303.0376OpenAlexW2136544532MaRDI QIDQ4922072

Marco Devesas Campos, Marcelo P. Fiore

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.0376

zbMATH Keywords

Hopf algebraPROPbialgebradagtopological sortinginitial-algebra semantics, categorical semanticssymmetric monoidal equational theory

Mathematics Subject Classification ID

Related Items (14)

Interacting Hopf algebras ⋮ Posets with interfaces as a model for concurrency ⋮ Generating Posets Beyond N ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Catoids and modal convolution algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards compositional graph theory ⋮ Confluence of Graph Rewriting with Interfaces ⋮ A formal language for cyclic operads ⋮ Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks ⋮ Lawvere Categories as Composed PROPs ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

Cites Work

• Unnamed Item
• Unnamed Item
• Languages for monoidal categories
• An abstract characterization of Thompson's group \(F\).
• Axioms for bigraphical structure
• The Space and Motion of Communicating Agents
• Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics
• Categorical algebra

This page was built for publication: The Algebra of Directed Acyclic Graphs