10 citations · 30 across the 9 of their papers we have counts for
5 papers · 1 filter
Copy-composition for Probabilistic Graphical Models
Toby St Clere Smithe
In probabilistic modelling, joint distributions are often of more interest than their marginals, but the standard composition of stochastic channels is defined by marginalization.…
Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
Sean Tull, Johannes Kleiner, Toby St Clere Smithe
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 cate…
Approximate Inference via Fibrations of Statistical Games
Toby St Clere Smithe
We characterize a number of well known systems of approximate inference as loss models: lax sections of 2-fibrations of statistical games, constructed by attaching internally-defin…
The Compositional Structure of Bayesian Inference
Dylan Braithwaite, Jules Hedges, Toby St Clere Smithe
Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence. If the process is believed to have a complex compositional structure, w…
Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
Toby St. Clere Smithe
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 coalgebrai…