Props in Network Theory

zbMath1400.18004arXiv1707.08321MaRDI QIDQ4585017

Franciscus Rebro, John C. Baez, Brandon Coya

Publication date: 5 September 2018

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

zbMATH Keywords

networkcircuitsymmetric monoidal categoryPROPfunctorial semantics

Mathematics Subject Classification ID

Analytic circuit theory (94C05) Applications of graph theory to circuits and networks (94C15) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ A practical type theory for symmetric monoidal categories ⋮ An axiomatic approach to differentiation of polynomial circuits ⋮ Categorifying the ZX-calculus ⋮ Universal Properties in Quantum Theory ⋮ DisCoPy: Monoidal Categories in Python ⋮ Unnamed Item ⋮ Graphical piecewise-linear algebra ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Unnamed Item ⋮ Categories of Differentiable Polynomial Circuits for Machine Learning ⋮ A Compositional Framework for Passive Linear Networks ⋮ Spans of cospans in a topos ⋮ A bicategory of decorated cospans ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Structured Cospans ⋮ Open systems in classical mechanics

Uses Software

• DYNAMO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interacting Hopf algebras
• Symplectic categories
• Cartesian bicategories. I
• A general coherence result
• Two-dimensional monad theory
• The geometry of tensor calculus. I
• Lawvere theories enriched over a general base
• A compositional framework for Markov processes
• Compact Closed Bicategories
• Categorical quantum mechanics
• Dagger Compact Closed Categories and Completely Positive Maps
• Corelations are the prop for extraspecial commutative Frobenius monoids
• A Categorical Semantics of Signal Flow Graphs
• Decorated Cospans
• Symplectic geometry
• A Compositional Framework for Passive Linear Networks
• Decorated Corelations
• A categorical approach to open and interconnected dynamical systems
• An introduction to partition logic
• Categories in Control
• A bicategory of decorated cospans
• The Behavioral Approach to Open and Interconnected Systems
• The cartesian closed bicategory of generalised species of structures
• Categorical algebra
• Space-Time Approach to Quantum Electrodynamics