[2101.10483] Cyber Kittens, or Some First Steps Towards Categorical Cybernetics
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.
Cyber Kittens, or Some First Steps Towards Categorical Cybernetics Toby St. Clere Smithe Department of Experimental Psychology, University of Oxford arxiv@tsmithe.net 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…
related reading
- [2404.02688] Reinforcement Learning in Categorical Cyberneticsarxiv.org
- Towards a Research Program on Compositional World-Modeling – Topos Institutetopos.site
- When Models Manipulate Manifolds: The Geometry of a Counting Tasktransformer-circuits.pub
- Categories for AIcats.for.ai
- Towards a Research Program on Compositional World-Modeling – Topos Institutetopos.site
- It’s Bayes All The Way Upslatestarcodex.com
- Book Review: Design Principles of Biological Circuits — LessWronglesswrong.com
- Internal Models in Biological Controlpmc.ncbi.nlm.nih.gov
- Cybernetics - Wikipediaen.wikipedia.org
- Free energy principle - Wikipediaen.wikipedia.org
- AFOSR2022-Structure_and_Dynamics_of_Working_Language.pdfdspivak.net
- [2308.00861] Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energyarxiv.org