Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
From MaRDI portal
Publication:6150164
DOI10.4204/EPTCS.380.18arXiv2206.03868MaRDI QIDQ6150164FDOQ6150164
Authors: Toby st. Clere Smithe 
Publication date: 5 March 2024
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/2206.03868
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The free energy principle for action and perception: a mathematical review
- Dynamical systems and sheaves
- Introduction to coalgebra. Towards mathematics of states and observation
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Disintegration and Bayesian inversion via string diagrams
- Directed Containers as Categories
- Double Categories of Open Dynamical Systems (Extended Abstract)
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)
