Polynomial Life: the Structure of Adaptive Systems

11/03/2022
by   Toby St. Clere Smithe, et al.
0

We extend our earlier work on the compositional structure of cybernetic systems in order to account for the embodiment of such systems. All their interactions proceed through their bodies' boundaries: sensations impinge on their surfaces, and actions correspond to changes in their configurations. We formalize this morphological perspective using polynomial functors. The 'internal universes' of systems are shown to constitute an indexed category of statistical games over polynomials; their dynamics form an indexed category of behaviours. We characterize 'active inference doctrines' as indexed functors between such categories, resolving a number of open problems in our earlier work, and pointing to a formalization of the 'free energy principle' as adjoint to such doctrines. We illustrate our framework through fundamental examples from biology, including homeostasis, morphogenesis, and autopoiesis, and suggest a formal connection between spatial navigation and the process of proof.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/23/2022

Mathematical Foundations for a Compositional Account of the Bayesian Brain

This dissertation reports some first steps towards a compositional accou...
research
12/15/2020

Monoidal Categories for Formal Concept Analysis

We investigate monoidal categories of formal contexts, in which states c...
research
08/25/2022

Compositional Active Inference II: Polynomial Dynamics. Approximate Inference Doctrines

We develop the compositional theory of active inference by introducing a...
research
09/09/2021

Compositional Active Inference I: Bayesian Lenses. Statistical Games

We introduce the concepts of Bayesian lens, characterizing the bidirecti...
research
09/15/2020

Interfacing biology, category theory and mathematical statistics

Motivated by the concept of degeneracy in biology (Edelman, Gally 2001),...
research
06/29/2023

Approximate Inference via Fibrations of Statistical Games

We characterize a number of well known systems of approximate inference ...

Please sign up or login with your details

Forgot password? Click here to reset