3 citations · 5 across the 3 of their papers we have counts for
4 papers
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…
Collages of String Diagrams
Dylan Braithwaite, Mario Román
We introduce collages of string diagrams as a diagrammatic syntax for glueing multiple monoidal categories. Collages of string diagrams are interpreted as pointed bimodular profunc…
Dependent Bayesian Lenses: Categories of Bidirectional Markov Kernels with Canonical Bayesian Inversion
Dylan Braithwaite, Jules Hedges
We generalise an existing construction of Bayesian Lenses to admit lenses between pairs of objects where the backwards object is dependent on states on the forwards object (interpr…
Fibre optics
Dylan Braithwaite, Matteo Capucci, Bruno Gavranović +2
Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied categor…