ACT2022 - Day 5
Channel: Applied Category Theory
Date: 2022-07-22

Slides available at https://msp.cis.strath.ac.uk/act2022/programme.html
Live note-taking record available at https://statebox.tv/act2022

00:00:00 Technical setup
00:06:56 Coend Optics for Quantum Combs James Hefford and Cole Comfort
00:24:43 Quantum Supermaps are Characterized by Naturality Matt Wilson, Giulio Chiribella and Aleks Kissinger
00:49:34 Unification of Modal Logic via Topological Categories Lingyuan Ye
01:15:22 On the Pre- and Promonoidal Structure of Spacetime James Hefford and Aleks Kissinger
02:15:47 A Probability Monad on Measure Spaces Robert Furber
02:28:22 Exchangeability and the Radon Monad: Probability Measures, Quantum States and Multisets Sam Staton and Ned Summers
02:51:26 A Hypergraph Category for Exact Gaussian Inference Dario Stein
03:17:54 Monoidal Width: Capturing Rank Width Elena Di Lavore and Paweł Sobociński
05:05:30 Dialectica Logical Principles Davide Trotta, Matteo Spadetto and Valeria de Paiva
05:27:21 Diagrammatic Presentations of Enriched Monads and Theories for a Subcategory of Arities Rory Lucyshyn-Wright and Jason Parker
05:48:29 Strong Shift Equivalence and Bialgebras in Traced Monoidal Categories Emmanuel Jeandel
06:09:22 Enriched Structure-Semantics Adjunctions and Monad-Theory Equivalences for Subcategories of Arities Jason Parker and Rory Lucyshyn-Wright 
07:07:26 A Diagrammatic View of Differential Equations in Physics Evan Patterson, Andrew Baas, Timothy Hosgood and James Fairbanks
07:29:36 Compositional Modeling with Stock and Flow Diagrams John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood and Evan Patterson