ACT 2023 papers and talks

• A Categorical Model for Classical and Quantum Block Designs: Paulina L. A. Goedicke, Jamie Vicary. [abstract]
• A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks: Rebekah Aduddell, James Fairbanks, Pablo S Ocal, Amit Kumar, Evan Patterson, Brandon Shapiro. [abstract]
• A Compositional Framework for Convex Model Predictive Control: Tyler E Hanks, Baike She, Evan Patterson, Matthew Hale, Matthew Klawonn, James Fairbanks. [abstract]
• A graphical language for rewriting-based programs and agent-based models: Kristopher Brown, David Spivak. [abstract] [slides]
• Absolute continuity, supports and idempotent splitting in Markov categories: Tobias Fritz, Tomáš Gonda, Antonio Lorenzin, Paolo Perrone, Dario Maximilian Stein. [abstract] [slides]
• Active Inference in String Diagrams: A Categorical Account of Predictive Processing and the Free Energy Principle : Sean Tull, Johannes Kleiner, Toby St Clere Smithe. [abstract]
• Additive Invariants of Open Petri Nets: Sophie Libkind, Benjamin Merlin Bumpus, Jordy Lopez Garcia, Layla H. Sorkatti, Samuel Tenka. [abstract] [slides]
• All Concepts are $\mathbb{C}\mathbf{at}^\#$: Brandon Shapiro, David Spivak, Owen Lynch. [abstract] [slides]
• Approximate Inference via Fibrations of Statistical Games: Toby St Clere Smithe. [abstract] [slides]
• Bicategories of automata, automata in bicategories: Fosco Loregian, Guido Boccali, Andrea Laretto, Stefano Luneia. [abstract]
• Bypassing Solèr’s Theorem: The Key to Axiomatising Dagger Categories of Finite-Dimensional Hilbert Spaces: Matthew Di Meglio, Chris Heunen. [abstract]
• Category Theory applied to Intent Based Networking: first steps: Davide Borsatti. [abstract] [slides]
• Causal models in string diagrams: Sean Tull, Robin Lorenz. [abstract]
• Chyp: Composing Hypergraphs, Proving Theorems: Aleks Kissinger. [abstract]
• Collages of String Diagrams: Dylan Braithwaite, Mario Román. [abstract]
• Commutative W*-algebras as a Markov Category: Robert Furber. [abstract]
• Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus: Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke. [abstract] [slides]
• Composing games into complex institutions: Seth Frey, Jules Hedges, Joshua Z Tan, Philipp Zahn. [abstract]
• Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves: Benjamin Merlin Bumpus, James Fairbanks, Daniel Rosiak, Ernst Althaus. [abstract]
• Computational Multiphysics in a Categorical Framework: Luke Lawlor Morris, George Rauta, James Fairbanks. [abstract]
• Constructing triple categories of cybernetic processes: Matteo Capucci, David Jaz Myers. [abstract] [slides]
• Constructor Theory as Process Theory: Stefano Gogioso, Vincent Wang, Muhammad Hamza Waseem, Carlo Maria Scandolo, Bob Coecke. [abstract] [slides]
• Covariant influences for finite discrete dynamical systems: Carlo Maria Scandolo, Gilad Gour, Barry C. Sanders. [abstract] [slides]
• Data modelling with abstract constraints: verifiable Cartesian satisfaction relation and generalized sketches: Zinovy Diskin. [abstract] [slides]
• Data-Parallel Algorithms for String Diagrams: Paul W Wilson, Fabio Zanasi. [abstract] [slides]
• DisCoCirc: Vincent Wang-Ma\'{s}cianica, Jonathon Liu, Bob Coecke. [abstract]
• DisCoPy: the Hierarchy of Graphical Languages in Python: Alexis Toumi, Richie Yeung, Giovanni de Felice. [abstract] [slides]
• Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories: Hugo Paquet, Philip Saville. [abstract] [slides]
• Enriched Symmetric Lenses and Enriched Bisimulations: Bryce Clarke, Matthew Di Meglio. [abstract]
• Fox-cartesian structure for Gray-monoidal double categories: Edward Morehouse. [abstract] [slides]
• Gatlab.jl: Symbolic computing with categories using generalized algebraic theories: Owen Lynch, Kristopher Brown, James Fairbanks, Evan Patterson. [abstract]
• Hidden Markov Models and the Bayes Filter in Categorical Probability: Tobias Fritz, Andreas Klingler, Areeb Shah-Mohammed, Yuwen Wang. [abstract] [slides]
• Higher-dimensional subdiagram matching: Amar Hadzihasanovic, Diana Kessler. [abstract]
• Identifying classical and quantum Markovian causal models from generalized observation: Jonathan Barrett, Isaac Friend, Aleks Kissinger. [abstract] [slides]
• Infinitesimal Models of Algebraic Theories and their Applications: Filip Bar. [abstract] [slides]
• Initial algebras for topologically enriched multi-sorted algebraic theories: Jason Parker. [abstract] [slides]
• Markov Categories and Entropy: Paolo Perrone. [abstract] [slides]
• Monoidal structures on generalized polynomial categories: Nelson Niu, Samantha Jarvis, Joseph Dorta. [abstract] [slides]
• Nested wiring diagrams in Semagrams: Owen Lynch, Spencer Breiner. [abstract]
• Normalizing resistor networks: Priyaa Varshinee Srinivasan, Robin Cockett, Amolak Ratan Kalra. [abstract]
• Obstructions to Compositionality: Caterina Puca, Amar Hadzihasanovic, Fabrizio Romano Genovese, Bob Coecke. [abstract] [slides]
• Operads arising from base-valued enriched functors: Rory Lucyshyn-Wright. [abstract]
• Optics for Premonoidal Categories: James Hefford, Mario Román. [abstract]
• Overdrawing Urns with Signed Probabilities: Bart Jacobs, Dario Maximilian Stein. [abstract] [slides]
• Partial Markov Categories - Extended Abstract: Elena Di Lavore, Mario Román. [abstract] [slides]
• Polycategories of Supermaps on Monoidal Categories: Matt Wilson, Giulio Chiribella. [abstract]
• Posetal Diagrams for Logically Structured Semistrict Higher Categories: Chiara Sarti, Jamie Vicary. [abstract] [slides]
• Simplicial distributions, convex categories, and contextuality: Cihan Okay, Aziz Kharoof. [abstract] [slides]
• Software for Compositional Modeling in Epidemiology: John Carlos Baez. [abstract] [slides]
• String Diagrams with Factorized Densities: Eli Zachary Sennesh, Jan-Willem van de Meent. [abstract] [slides]
• Structured and decorated cospans from the viewpoint of double category theory: Evan Patterson. [abstract] [slides]
• Subsumptions of Algebraic Rewrite Rules: Thierry Boy de la Tour. [abstract] [slides]
• Syntax Monads for the Working Formal Metatheorist: Lawrence Henry Dunn, Valeriu Breazu, Stephan Zdancewic. [abstract] [slides]
• The Algebra for Stabilizer Codes: Cole Comfort. [abstract]
• The Algebraic Weak Factorisation System for Delta Lenses: Bryce Clarke. [abstract] [slides]
• Topological Quantum Gates in Homotopy Type Theory: David Jaz Myers, Hisham Sati, Urs Schreiber. [abstract]
• Towards a Compositional Framework for Convex Analysis: Dario Maximilian Stein, Richard Samuelson. [abstract] [slides]
• Unifilar Machines and the Adjoint Structure of Bayesian Models: Nathaniel Virgo. [abstract] [slides]
• Using Open Games to Model Real-Life Financial Services: Sam Bacha, Fabrizio Romano Genovese, Philipp Zahn. [abstract]

Accepted posters

• A categorical approach to synthetic chemistry: Leo Lobski, Fabio Zanasi, Ella M. Gale.
• A compositional game to fairly divide homogeneous cake: Abel Jansma.
• A Tour of V-Gph: Graphs over a Category: Roland Baumann.
• Categorical Equivalence of Word Embeddings: Ares Fabregat-Hernández, Javi Palanca, Vicent Botti.
• Effect Algebras as Omega-Categories: Robin Adams, Lorenzo Perticone.
• Fibrational linguistics (FibLang): First concepts: Fabrizio Romano Genovese, Fosco Loregian, Caterina Puca.
• Fuzzy Type Theory: Shreya Arya, Greta Coraglia, Paige Randall North, Sean James O'Connor, Ana Luiza Tenorio, Hans Riess.
• Hierarchical and Upstream-Downstream Composition of Stock and Flow Models: Nicholas Meadows, Xiaoyan Li, Nathaniel D. Osgood.
• Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics: Ralph L Wojtowicz.
• Probabilistic Signaling Networks: Dynamic Modeling and Inference for Biology and Beyond: Marius Paul Furter.
• Using Kan Extensions to Motivate the Design of a Surprisingly Effective Unsupervised Linear SVM on the Occupancy Dataset: Matthew Pugh, Jo Grundy, Nick Harris.