Search Results for author:
Found 5 papers, 0 papers with code
Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
We present a categorical formulation of the cognitive frameworks of Predictive Processing and Active Inference, expressed in terms of string diagrams interpreted in a monoidal category with copying and discarding.
The Compositional Structure of Bayesian Inference
Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence.
Mathematical Foundations for a Compositional Account of the Bayesian Brain
We use these opindexed categories to define monoidal bicategories of cilia: dynamical systems which control lenses, and which supply the target for our functorial semantics.
Designing Ecosystems of Intelligence from First Principles
In this context, we understand intelligence as the capacity to accumulate evidence for a generative model of one's sensed world -- also known as self-evidencing.
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.
