Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

DOI10.4204/EPTCS.380.18MaRDI QIDQ6150164zbMATH OpenFDO

Authors Toby st. Clere Smithe

Publication date 5 March 2024

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: We present categories of open dynamical systems with general time evolution as categories of coalgebras opindexed by polynomial interfaces, and show how this extends the coalgebraic framework to capture common scientific applications such as ordinary differential equations, open Markov processes, and random dynamical systems. We then extend Spivak's operad Org to this setting, and construct associated monoidal categories whose morphisms represent hierarchical open systems; when their interfaces are simple, these categories supply canonical comonoid structures. We exemplify these constructions using the `Laplace doctrine', which provides dynamical semantics for active inference, and indicate some connections to Bayesian inversion and coalgebraic logic.

Recommendations

• Double categories of open dynamical systems (extended abstract)
• Polynomial life: the structure of adaptive systems
• Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
• Operadic modeling of dynamical systems: mathematics and computation
• Cyber kittens, or some first steps towards categorical cybernetics

Cites work

• scientific article; zbMATH DE number 1201579 (Why is no real title available?)
• scientific article; zbMATH DE number 5593534 (Why is no real title available?)
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Directed containers as categories
• Disintegration and Bayesian inversion via string diagrams
• Double categories of open dynamical systems (extended abstract)
• Dynamical systems and sheaves
• Introduction to coalgebra. Towards mathematics of states and observation
• The free energy principle for action and perception: a mathematical review

Cited in

(3)

• Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
• Polynomial life: the structure of adaptive systems
• Operadic modeling of dynamical systems: mathematics and computation

This page was built for publication: Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

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