Lawvere Categories as Composed PROPs
From MaRDI portal
Publication:5739447
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
Theories (e.g., algebraic theories), structure, and semantics (18C10) Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads (18M85)
Related Items
Uses Software
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