Lawvere Categories as Composed PROPs

DOI10.1007/978-3-319-40370-0_3zbMath1475.18028OpenAlexW2498979590MaRDI QIDQ5739447

Paweł Sobociński, Fabio Zanasi, Filippo Bonchi

Publication date: 15 July 2016

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01446031/file/418352_1_En_3_Chapter.pdf

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads (18M85)

Related Items

A predicate/state transformer semantics for Bayesian learning ⋮ Unnamed Item

Uses Software

• PNBml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional word problems with applications to equational logic
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
• Numerics of unilateral contacts and friction. Modeling and numerical time integration in non-smooth dynamics
• Semantics of weakening and contraction
• The formal theory of monads. II
• Distributive laws and factorization
• An algebraic presentation of term graphs, via gs-monoidal categories
• Combining effects: sum and tensor
• Full Abstraction for Signal Flow Graphs
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• A Survey of Graphical Languages for Monoidal Categories
• A Connector Algebra for P/T Nets Interactions
• A Categorical Semantics of Signal Flow Graphs
• A categorical approach to open and interconnected dynamical systems
• Interacting Frobenius Algebras are Hopf
• The Algebra of Directed Acyclic Graphs
• A Programming Language for Spatial Distribution of Net Systems
• Bialgebraic Semantics for Logic Programming
• On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
• Categories in Control
• Interacting Bialgebras Are Frobenius
• Categorical algebra
• Presenting Distributive Laws