Lawvere categories as composed PROPs

DOI10.1007/978-3-319-40370-0_3MaRDI QIDQ5739447zbMATH OpenOpenAlexFDO

Authors Filippo Bonchi, Paweł Sobociński, Fabio Zanasi

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)

Recommendations

• scientific article; zbMATH DE number 2125662
• On the category of props
• Distributive laws for Lawvere theories
• Editorial -- Recent trends in international reserves: theory and evidence
• Countable Lawvere theories and computational effects

Cites work

• A categorical approach to open and interconnected dynamical systems
• A categorical semantics of signal flow graphs
• A connector algebra for P/T nets interactions
• A programming language for spatial distribution of net systems
• A survey of graphical languages for monoidal categories
• An algebraic presentation of term graphs, via gs-monoidal categories
• Bialgebraic semantics for logic programming
• Categorical algebra
• Categories in control
• Combining effects: sum and tensor
• Distributive laws and factorization
• Full abstraction for signal flow graphs
• Higher-dimensional word problems with applications to equational logic
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Interacting bialgebras are Frobenius
• Interacting Frobenius algebras are Hopf
• 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
• On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
• Presenting distributive laws
• Semantics of weakening and contraction
• The algebra of directed acyclic graphs
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The formal theory of monads. II

Cited in

(4)

• A predicate/state transformer semantics for Bayesian learning
• Editorial -- Recent trends in international reserves: theory and evidence
• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• Convexity and order in probabilistic call-by-name FPC

Describes a project that uses

Uses Software

• PNBml

This page was built for publication: Lawvere categories as composed PROPs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5739447)