Applied Category Theory 2022: Accepted presentations

The following 59 submissions have been accepted for presentation at ACT 2022. The submissions are ordered according to their (randomly generated) submission number.

• Vincent Wang-Mascianica and Bob Coecke. Talking Space: inference from spatial linguistic meanings [slides] [video]
• Brandon Shapiro and David Spivak. Dynamic categories, dynamic operads: From deep learning to prediction markets [slides] [video]
• Malin Altenmüller and Ross Duncan. A Category of Surface-Embedded Graphs [slides] [video]
• Robin Cockett, Amolak Ratan Kalra and Shiroman Prakash. Categories of Kirchhoff Relations [slides] [video]
• Steve Huntsman. Magnitude and topological entropy of digraphs [slides] [video]
• Pietro Vertechi. Dependent Optics [slides] [video]
• Levin Hornischer. Dynamical Systems via Domains [slides] [video]
• George Kaye, David Sprunger and Dan Ghica. Fully abstract categorical semantics for digital circuits [slides] [video]
• David Spivak. Polynomial functors and Shannon entropy [slides] [video]
• Matteo Capucci. Diegetic representation of feedback in open games [slides] [video]
• Emmanuel Jeandel. Strong Shift Equivalence and Bialgebras in traced monoidal categories [slides] [video]
• James Hefford and Aleks Kissinger. On the pre- and promonoidal structure of spacetime [slides] [video]
• Owen Lynch, John Baez and Joe Moeller. Compositional Thermostatics [slides] [video]
• Chad Nester, Mario Román and Guillaume Boisseau. Cornering Optics [slides] [video]
• Kristopher Brown, Tyler Hanks and James Fairbanks. Compositional Exploration of Combinatorial Scientific Models [slides] [video]
• Sidiney Montanhano. Characterization of Contextuality with Semi-Module Čech Cohomology [slides] [video]
• Evan Patterson, Andrew Baas, Timothy Hosgood and James Fairbanks. A Diagrammatic View of Differential Equations in Physics [slides] [video]
• Elena Di Lavore and Paweł Sobociński. Monoidal Width: Capturing Rank Width [slides] [video]
• Sean Moss and Paolo Perrone. A category-theoretic proof of the ergodic decomposition theorem [slides] [video]
• Matthew Di Meglio. Universal properties of asymmetric lens proxy pullbacks [slides] [video]
• Sophie Libkind, Evan Patterson, James Fairbanks, Andrew Baas and Micah Halter. Typed and Stratified Models with Slice Categories [slides] [video]
• Dario Stein. A Hypergraph Category for Exact Gaussian Inference [slides] [video]
• Sean Wu, Sophie Libkind, Kristopher Brown, Evan Patterson and James Fairbanks. Individual.jl: Rewriting individual-based models for epidemiology using graph rewriting [video]
• Mario Román. Promonads and String Diagrams for Effectful Categories [slides] [video]
• Nihil Shah, Dan Marsden and Tomáš Jakl. A comonadic account of Feferman-Vaught-Mostowski Theorems [slides] [video]
• Razin Shaikh and Stefano Gogioso. Categorical Semantics for Feynman Diagrams [slides] [video]
• Robert Furber. A Probability Monad on Measure Spaces [slides] [video]
• Leo Lobski and Fabio Zanasi. String Diagrams for Layered Explanations [slides] [video]
• Rory Lucyshyn-Wright and Jason Parker. Diagrammatic presentations of enriched monads and theories for a subcategory of arities [slides] [video]
• Bob Coecke. Compositionality as we see it, everywhere around us [slides] [video]
• Flavien Breuvart, Dylan McDermott and Tarmo Uustalu. Canonical gradings of monads [slides] [video]
• Tobias Fritz and Andreas Klingler. The d-separation criterion in Categorical Probability [slides] [video]
• Fosco Loregian and Todd Trimble. Differential 2-rigs [slides] [video]
• Bryce Clarke and Matthew Di Meglio. Enriched lenses [slides] [video]
• Dhurim Cakiqi and Max Little. Non-probabilistic Markov categories for causal modeling in machine learning [slides] [video]
• Matt Wilson, Giulio Chiribella and Aleks Kissinger. Quantum supermaps are characterized by naturality [slides] [video]
• James Hefford and Cole Comfort. Coend Optics for Quantum Combs [slides] [video]
• Lachlan McPheat, Timo Lang and Mehrnoosh Sadrzadeh. Making Modalities (Lax) Monoidal [slides] [video]
• Fosco Loregian, Fabrizio Genovese and Caterina Puca. Fibrational linguistics: Language acquisition [slides] [video]
• Sam Staton and Ned Summers. Exchangeability and the Radon Monad: Probability Measures, Quantum States and Multisets [slides] [video]
• Dimitri Kartsaklis, Ian Fan, Richie Yeung, Thomas Hoffmann, Vid Kocijan, Charles London, Anna Pearson, Alexis Toumi, Giovanni de Felice, Konstantinos Meichanetzidis, Stephen Clark and Bob Coecke. Quantum NLP using lambeq [video]
• Jules Hedges and Riu Rodriguez Sakamoto. Value iteration is optic composition [slides] [video]
• Andrea Censi, Emilio Frazzoli, Jonathan Lorand and Gioele Zardini. Categorification of Negative Information using Enrichment [slides] [video]
• Paul Wilson and Fabio Zanasi. Categories of Differentiable Polynomial Circuits for Machine Learning [slides] [video]
• Dragan Mašulović. On Ramsey Theory, Category Theory an Entropy [slides] [video]
• John Baez, Kenny Courser and Christina Vasilakopoulou. Structured Versus Decorated Cospans [slides] [video]
• Jean-Simon Lemay, Geoff Cruttwell, Jonathan Gallagher and Dorette Pronk. Monoidal Reverse Differential Categories — Extended Abstract [slides] [video]
• Ezra Schoen. Lax Liftings and Lax Distributive Laws [slides] [video]
• Cihan Okay, Aziz Kharoof and Selman Ipek. Simplicial distributions and quantum contextuality [slides] [video]
• Toby St Clere Smithe. Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing [slides] [video]
• Amar Hadzihasanovic and Diana Kessler. Data structures for topologically sound higher-dimensional diagram rewriting [material] [video]
• Davide Trotta, Matteo Spadetto and Valeria de Paiva. Dialectica logical principles [slides] [video]
• Titouan Carette, Louis Lemonnier and Vladimir Zamdzhiev. Central Submonads and Notions of Computation [slides] [video]
• Elena Di Lavore, Giovanni de Felice and Mario Román. Monoidal Streams for Dataflow Programming (Extended Abstract) [slides] [video]
• John Baez, Xiaoyan Li, Sophie Libkind, Nathaniel Osgood and Evan Patterson. Compositional Modeling with Stock and Flow Diagrams [slides] [video]
• Priyaa Varshinee Srinivasan, Robin Cockett, Carlo Maria Scandolo and Isabelle Jianing Geng. Extending resource monotones using Kan extensions [slides] [video]
• Swaraj Dash, Younesse Kaddar, Hugo Paquet and Sam Staton. Statistical programming with categorical measure theory and LazyPPL [slides] [video]
• Jason Parker and Rory Lucyshyn-Wright. Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities [slides] [video]
• Lingyuan Ye. Unification of Modal Logic via Topological Categories [slides] [video]

The conference will also have the following posters.

• Sebastian Stengele, Tomáš Gonda, Tobias Reinhart and Gemma De Las Cuevas. A Framework for Universality Across Disciplines [poster]
• Nelson Niu and David Spivak. Collectives: Compositional Protocols for Contributions and Returns [poster]
• Matthew Earnshaw and Paweł Sobociński. Regular Monoidal Languages [poster]
• André Videla. Recombine - A server library based on dependent lenses [poster]
• Brad Lackey and Nishant Rodrigues. Morphisms in Categories of Nonlocal Games [poster]
• Cédric De Lacroix and Luigi Santocanale. Frobenius structures in star-autonomous categories (online)
• Chenchen Song. Category Theory in Theoretical Linguistics: A Monadic Semantics for Root Syntax (online)
• Freddy Kamdem Simo, Dominique Ernadote and Dominique Lenne. On a Federated Architecture for Utilizing Domain-Specific Descriptive Models (online) [poster]
• Joshua Shinavier, Ryan Wisnesky and Joshua Meyers. Algebraic Property Graphs (online)
• Eli Sennesh, Tom Xu and Yoshihiro Maruyama. A Probabilistic Generative Model of Free Categories (online)