Categories in Control
From MaRDI portal
Publication:5261936
zbMath1316.18009arXiv1405.6881MaRDI QIDQ5261936
Publication date: 8 July 2015
Full work available at URL: https://arxiv.org/abs/1405.6881
control theoryFrobenius algebradagger-compact categorybialgebragraphical calculussignal flow diagram
Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Bialgebras (16T10)
Related Items
Generalized relations in linguistics \& cognition ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Tensors, !-graphs, and non-commutative quantum structures ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ DisCoPy: Monoidal Categories in Python ⋮ Categorical foundations of gradient-based learning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Value Iteration is Optic Composition ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Contextual equivalence for signal flow graphs ⋮ Towards a unified framework for decomposability of processes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Confluence of Graph Rewriting with Interfaces ⋮ On the geometry and algebra of networks with state ⋮ A Compositional Framework for Passive Linear Networks ⋮ Lawvere Categories as Composed PROPs ⋮ Decorated Corelations ⋮ Props in Network Theory ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ A compositional framework for Markov processes ⋮ Graphical Conjunctive Queries. ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Refinement for signal flow graphs ⋮ Coarse-Graining Open Markov Processes ⋮ Corelations are the prop for extraspecial commutative Frobenius monoids ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
