ACT2022 - Day 4
Channel: Applied Category Theory
Date: 21/07/2022

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:25:40 Value Iteration is Optic Composition Jules Hedges and Riu Rodriguez Sakamoto
01:03:24 Diegetic Representation of Feedback in Open Games Matteo Capucci
01:31:10 Universal Properties of Asymmetric Lens Proxy Pullbacks Matthew Di Meglio
2:23:21 A Category of Surface-Embedded Graphs Malin Altenmüller and Ross Duncan
2:47:20 Extending Resource Monotones Using Kan Extensions Priyaa Varshinee Srinivasan, Robin Cockett, Carlo Maria Scandolo and Isabelle Jianing Geng
3:09:13 Differential 2-rigs Fosco Loregian and Todd Trimble 
3:33:13 Canonical Gradings of Monads Flavien Breuvart, Dylan McDermott and Tarmo Uustalu
5:19:06 The d-Separation Criterion in Categorical Probability Tobias Fritz and Andreas Klingler
6:05:17 A Category-Theoretic Proof of the Ergodic Decomposition Theorem Sean Moss and Paolo Perrone
6:28:22 Non-Probabilistic Markov Categories for Causal Modeling in Machine Learning Dhurim Cakiqi and Max Little
7:23:08 Industry session (multiple speakers)