julesh
@julesh
Applied Compositional Thinking 🌉 bridged from ⁂ follow @ap.brid.gy to interact
They have one teensy little radiological incident last time and suddenly it's health and safety gone mad
What the fuck happened to Hyde Park? Until I got close I thought this was concrete... *everything* is dead. When the wind blows there is dust. I guess we have a desert in London now.
The last of the 3 Glaive talks at ACT, Dylan Braithwaite talking about the category of polynomial functors / containers / lenses as a model of some kind of cohesive linear dependent type theory. Among other things, this is the foundational work behind a possible future "dependent Polylang"
Next is Nathaniel Virgo on stochastic Mealy machines, Bayesian updating and filtering for POMDPs
I'm going to try my best to live twoot the afternoon. First up after lunch is CB Aberlé (aka @cbaberle) on system verification using a lot of stuff from polynomials. I also read the paper behind this one and we plan to study it very closely because this might […] [Original post on mathstodon.xyz]
Shoutout to the Baltic Sea as honorary participant, I haven't been out to touch it yet but I'll do it today I think
Matt Wilson again on diagrams with holes in... I did a tonne of work on this problem in 2019 and I'm glad things are increasingly being figured out
Leo Lobski on "layered monoidal theories", for string diagrams that mix several different monoidal categories for different levels of abstraction
Anny Azevedo on sheaf cohomology for measuring obstructions to compositionality, a problem I care quite deeply about
ACT day 3 thread, this one will be shorter because we're excursing this afternoon Tarmo Uustalu talking about effects in concurrency with a bunch of locally ordered categories stuff
Next was Neil Ghani (my former boss) using "snoc trees" and some serious containers machinery to build a universe of sample-able types
David Jaz Myers doing Lyapunov theory in the thing that he calls categorical systems theory and I call categorical cybernetics
After lunch I'm chairing a session on mostly control theory. First up is @Joemoeller again putting categorical Lyapunov theory on an actual robot
Matt Wilson again, who was forced to teach AI and then noticed that POMDPs look like higher order quantum processes, in particular since both are lenses, and that you can get some mileage out of doing both at the same time
Joe Moeller using mixed charts made of manifolds and sets to do control theory of hybrid systems for robotics
Aziz Kharoof on simplicial sets and probability *increments the counter for number of independent inventions of lenses again*
ACT day 2. I wonder if I don't have the stamina that I used to for conferences, already suffering from too much Estonian beer and not enough sleep. Anyway, here's the first half of the Adjoint School presentations
Next up is Axel Osmond who defined a funny tensor product of hypergraphs (by analogy to the funny tensor product of categories) and used it to do some stuff with analogy calculus
After lunch, and my magical adventure to find a pharmacy (one of my 3 week old piercings got infected) we're back with my former colleague Malin Altenmüller, talking about pattern matching for graphs
Finally a tool demo! Niels Voorneveld demoing his string diagram rewrite tool called Box Of Strings... very cool and the early 90s aesthetic makes me very happy
More supermaps... Matt Wilson - Supermaps on generalised theories (aka how much stuff do you need on your monoidal category for optics to behave like quantum supermaps, I think?)