ACT2022 - Day 3
Channel: Applied Category Theory
Date: 2022-07-20

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:41:65 Categorical Semantics for Feynman Diagrams Razin Shaikh and Stefano Gogioso
01:26:05 Monoidal Reverse Differential Categories Jean-Simon Lemay, Geoff Cruttwell, Jonathan Gallagher and Dorette Pronk
1:52:44 Statistical Programming with Categorical Measure Theory and LazyPPL Swaraj Dash, Younesse Kaddar, Hugo Paquet and Sam Staton
02:38:51 Monoidal Streams for Dataflow Programming Elena Di Lavore, Giovanni de Felice and Mario Román
03:20:10 Central Submonads and Notions of Computation Titouan Carette, Louis Lemonnier and Vladimir Zamdzhiev
03:43:35 Promonads and String Diagrams for Effectful Categories Mario Román
05:39:55 Fully Abstract Categorical Semantics for Digital Circuits George Kaye, David Sprunger and Dan Ghica
06:00:00 Magnitude and Topological Entropy of Digraphs Steve Huntsman
06:24:16 Compositional Thermostatics Owen Lynch, John Baez and Joe Moeller
06:55:18 Compositional Exploration of Combinatorial Scientific Models Kristopher Brown, Tyler Hanks and James Fairbanks
07:42:36 Compositional Thermodynamics Lia Yeh, Manojna Namuduri, Nandan Kulkarni, Chad Harper
08:01:01 Fuzzy type theory for opinion dynamics Sean O'Connor, Greta Coraglia, Shreya Arya, Ana Luiza Tenório
08:19:52 Timed and probabilistic processes Ruben Van Belle, Pim de Haan, Siddharth Bhat, Miguel Lopez
08:50:36 Algebraic structures in logic and relations Nathan Haydon, Phoebe Klett, Ralph Sarkis, Rowan Poklewski-Koziell

The Adjoint School 2022 was supported by the US National Science Foundation via grant DMS-2216871.