Cyber kittens, or some first steps towards categorical cybernetics

MaRDI QIDQ5019665zbMATH OpenFDO

Authors Toby st. Clere Smithe

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10483, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.8

zbMATH Keywords

open dynamical systemcyberneticsactive inferenceapplied category theorycategory of opticsopen game

Mathematics Subject Classification ID

Dynamic games (91A25) Axiomatic systems theory (93A05) Games with incomplete information, Bayesian games (91A27) Categories of networks and processes, compositionality (18M35)

Abstract: We define a categorical notion of cybernetic system as a dynamical realisation of a generalized open game, along with a coherence condition. We show that this notion captures a wide class of cybernetic systems in computational neuroscience and statistical machine learning, exposes their compositional structure, and gives an abstract justification for the bidirectional structure empirically observed in cortical circuits. Our construction is built on the observation that Bayesian updates compose optically, a fact which we prove along the way, via a fibred category of state-dependent stochastic channels.

Recommendations

• Double categories of open dynamical systems (extended abstract)
• Information dynamics in a categorical setting
• A categorical approach to open and interconnected dynamical systems
• Bayesian open games
• A compositional framework for Markov processes

Cites work

• (Co)end Calculus
• A Convenient Category for Higher-Order Probability Theory
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Compositional game theory
• Deep active inference
• Disintegration and Bayesian inversion via string diagrams
• Dynamical systems and sheaves
• Functorial Boxes in String Diagrams
• Monoidal Grothendieck construction
• ON MUTUALLY UNBIASED BASES
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• The free energy principle for action and perception: a mathematical review

Cited in

(5)

• Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
• Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
• Polynomial life: the structure of adaptive systems
• Towards foundations of categorical cybernetics
• Bidirectional processes -- in category theory, physics, engineering, \dots

This page was built for publication: Cyber kittens, or some first steps towards categorical cybernetics

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