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

Related Items (18)

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Props in Network Theory