DeepAI AI Chat
Log In Sign Up

Cyber Kittens, or Some First Steps Towards Categorical Cybernetics

01/26/2021
by   Toby St. Clere Smithe, et al.
8

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/23/2022

Mathematical Foundations for a Compositional Account of the Bayesian Brain

This dissertation reports some first steps towards a compositional accou...
05/13/2016

A Corpus-based Toy Model for DisCoCat

The categorical compositional distributional (DisCoCat) model of meaning...
05/31/2020

Bayesian Updates Compose Optically

Bayes' rule tells us how to invert a causal process in order to update o...
12/13/2021

Composable constraints

We introduce a notion of compatibility between constraint encoding and c...
09/29/2022

Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion

We generalise an existing construction of Bayesian Lenses to admit lense...
02/06/2020

Relating Apartness and Bisimulation

A bisimulation for a coalgebra of a functor on the category of sets can ...
09/19/2022

Space-time tradeoffs of lenses and optics via higher category theory

Optics and lenses are abstract categorical gadgets that model systems wi...