4 citations · 10 across the 6 of their papers we have counts for
5 papers · 1 filter
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…
Sheet diagrams for bimonoidal categories
Cole Comfort, Antonin Delpeuch, Jules Hedges
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other. We formally define sheet diagrams, a grap…
Foundations of brick diagrams
Jules Hedges, Jelle Herold
We discuss the foundations of 2-dimensional graphical languages, with a view towards their computer implementation in a 'compiler' for monoidal categories. In particular, we discus…
From open learners to open games
Jules Hedges
The categories of open learners (due to Fong, Spivak and Tuyéras) and open games (due to the present author, Ghani, Winschel and Zahn) bear a very striking and unexpected similarit…
Limits of bimorphic lenses
Jules Hedges
Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (…