The 4th International Conference on Applied Category Theory will take place at the Computer Laboratory of the University of Cambridge on 12-16 July 2021, preceded by the Adjoint School 2021 on 5-9 July. This conference follows previous events at MIT, Oxford and Leiden.
The conference will be a hybrid event, with physical attendees present in Cambridge, and other participants taking part online. Due to the need for physical distancing, the number of in-person registrations will be limited, so please don't book your travel or accommodation until your registration is confirmed.
Applied category theory is a topic of interest for a growing community of researchers, interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of Applied Category Theory is to bring researchers in the field together, disseminate the latest results, and facilitate further development of the field.
We accept contributions across the pure-applied spectrum, from pure mathematical research, to case studies describing successful application of category-theoretic tools in industry. However, submissions at the most mathematical end should take care to explain how this work could be applied to a subject outside of pure category theory itself, while submissions at the most applied end should contain a clear explanation of the category theory involved.
To accommodate the publishing conventions of different fields, we accept submissions of both original research papers, and also work accepted/submitted/published elsewhere. Accepted original research papers will be invited for publication in a proceedings volume. The keynote addresses will be drawn from the best accepted papers. The conference will include an industry showcase event.
Talks will be given live by speakers, either online or in-person. All talks will be visible by both online and in-person participants. With the permission of the speakers, talks will be made available on YouTube after the conference.
|Distinguished Presentation (D)||40 minutes|
|Ordinary Presentation||20 minutes|
|Speaker is in Cambridge (C)|
|Time (BST)||Monday 12 July||Tuesday 13 July||Wednesday 14 July||Thursday 15 July||Friday 16 July|
|0900–0930||TEA BREAK||TEA BREAK||TEA BREAK||TEA BREAK||TEA BREAK|
|0930-1100||Chair: Jamie Vicary (C)||Chair: Andrew Pitts (C)||Chair: Chris Heunen||Chair: Jules Hedges (C)||Chair: Richard Blute|
|WELCOME||Konstantinos Meichanetzidis, Robin Lorenz, Anna Pearson, Alexis Toumi, Giovanni de Felice, Dimitri Kartsaklis, Bob Coecke, "QNLP: Compositional Models of Meaning on a Quantum Computer" (D) (s) (v)||Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini, "Limits and colimits in a category of lenses" (D, C) (s) (v)||Nicolas Behr, Joachim Kock, "Tracelet Hopf algebras and decomposition spaces" (D) (s) (v)||Xiaodong Jia, Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev, "Commutative Monads for Probabilistic Programming Languages" (D) (s) (v)|
|Nihil Shah, "Restricting Power: The Pebble-Relation Comonad in Finite Model Theory" (D, C) (s) (v)|
|Soichiro Fujii, Yuni Iwamasa, Kei Kimura, "Quantaloidal approach to constraint satisfaction" (s) (v)||Matthew Di Meglio, "Coequalisers under the lens" (s) (v)||Antonin Delpeuch, Jamie Vicary, "The word problem for braided monoidal categories is unknot-hard" (s) (v)||Tobias Fritz, Tomáš Gonda, Paolo Perrone, "De Finetti's Theorem in Categorical Probability" (s) (v)|
|John van de Wetering, "A categorical construction of the real unit interval" (C) (s) (v)||Matt Wilson, Augustin Vanrietvelde, "A categorical framework for the expression of composable constraints: routed categories" (s) (v)||Fosco Loregian, Fabrizio Genovese, Daniele Palombi, "A Categorical Semantics for Bounded Petri Nets" (v)||Zoltan A. Kocsis, Benjamin Merlin Bumpus, "Treewidth via Spined Categories" (s) (v)||Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke, "Composing Conversational Negation" (C) (s) (v)|
|1100–1130||TEA BREAK||TEA BREAK||TEA BREAK||TEA BREAK||TEA BREAK|
|1130-1300||Chair: Vladimir Zamdzhiev||Chair: Jules Hedges (C)||Chair: Ben MacAdam||Chair: Bob Coecke||Chair: Fabrizio Romano Genovese|
|Titouan Carette, Marc de Visme, Simon Perdrix, "Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory" (D) (v)||Andrew Pitts, S. C. Steenkamp, "Constructing Initial Algebras Using Inflationary Iteration" (D, C) (s) (v)||Geoff Cruttwell, Bruno Gavranovic, Neil Ghani, Paul Wilson, Fabio Zanasi, "Categorical Foundations of Gradient-Based Learning" (D, C) (s) (v)||Cole Comfort, Aleks Kissinger, "A Graphical Calculus for Lagrangian Relations" (D, C) (s) (v)||Chad Nester, "Situated Transition Systems" (s) (v)|
|Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski, "A Canonical Algebra of Open Transition Systems (Extended Abstract)" (s) (v)|
|George Kaye, Dan R. Ghica, "Rewriting Graphically with Cartesian Traced Categories" (C) (s) (v)||Tomáš Jakl, Anuj Dawar, Luca Reggio, "Lovász-Type Theorems and Game Comonads" (C) (s) (v)||Dan Shiebler, Bruno Gavranovic, Paul Wilson, "Category Theory in Machine Learning" (s) (v)||Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering, Sal Wolffs, "The ZH-calculus: completeness and extensions" (C) (s) (v)||Joe Moeller, "Noncommutative network models" (s) (v)|
|Paul Wilson, Fabio Zanasi, "The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition" (v)||Rowan Poklewski-Koziell, "A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories" (s) (v)||Dan Shiebler, "Functorial Manifold Learning" (s) (v)||Alexis Toumi, Richie Yeung, Giovanni de Felice, "Diagrammatic Differentiation for Quantum Machine Learning" (v)||Gunnar Fløystad, "Profunctors between posets, and Alexander duality" (s) (v)|
|1300–1400||LUNCH BREAK||LUNCH BREAK||LUNCH BREAK||LUNCH BREAK||LUNCH BREAK|
|1400-1530||Chair: David I. Spivak||Chair: Dorette Pronk||Chair: Geoffrey Cruttwell||Chair: Martti Karvonen||Chair: Daniel Cicala|
|Sean Tull, "A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces" (D) (s) (v)||Sophie Libkind, Andrew Baas, Evan Patterson, James Fairbanks, "Operadic Modeling of Dynamical Systems: Mathematics and Computation" (D) (s) (v)||Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg, "Translating Extensive Form Games to Open Games with Agency" (D, C) (s) (v)||Jason Parker, Pieter Hofstra, Philip Scott, "Polymorphic automorphisms and the Picard group" (D) (s) (v)||Tslil Clingman, Brendan Fong, David Spivak, "Graphical Regular Logic: the complete 2-dimensional picture" (D) (s) (v)|
|Toby St Clere Smithe, "Polynomial Life: the Structure of Adaptive Systems" (s) (v)||John Foley, Spencer Breiner, Eswaran Subrahmanian, John Dusel, "Operads for complex system design specification, analysis and synthesis" (s) (v)||Hans Riess, Paige Randall North, Robert Ghrist, "Network Sheaves Valued in Categories of Adjunctions and their Laplacians" (s) (v)||Christian Williams, Michael Stay, "Native Type Theory" (s) (v)||Guillaume Boisseau, Pawel Sobocinski, "String Diagrammatic Electrical Circuit Theory" (C) (s) (v)|
|Matteo Capucci, Bruno Gavranovic, Jules Hedges, Eigil Rischel, "Towards foundations of categorical cybernetics" (C) (s) (v)||Jean-Simon Lemay, "Jacobians and Gradients for Cartesian Differential Categories" (s) (v)||Jérémie Koenig, "Grounding Game Semantics in Categorical Algebra" (s) (v)||Robin Cockett, Priyaa Varshinee Srinivasan, "Exponential modalities and complementarity" (s) (v)||Brendan Fong, Alberto Speranzon, David I. Spivak, "Temporal Landscapes: A Graphical Logic of Behavior" (s) (v)|
|1530-1600||TEA BREAK||TEA BREAK||TEA BREAK||TEA BREAK||TEA BREAK|
|1600-1730||Chair: Jamie Vicary (C)||Chair: Brendan Fong||Chair: Kohei Kishida||Chair: Kohei Kishida||Chair: Jade Master|
Bob Coecke, Cambridge Quantum Computing
Brendan Fong, Topos Institute
Dan Ghica, Huawei Research & Innovation
Jelle Herold, Statebox
Ryan Wisnesky, Conexus
|ADJOINT SCHOOL SESSION
Stelios Tsampas, "Safety for bisimulation for coalgebraic dynamic logic"
Amin Karamlou, Gabriel Goren, "Stochastic game logic, coalgebraically"
Owen Lewis, Elise Catania, Hussain Kadhem, Matthew Di Meglio, "Optimization and profunctor nuclei"
Angeline Aguinaldo, Kris Brown, "Polynomial functors and mode-dependent dynamical systems in Catlab"
Amy Searle, Anna Knorr, Grant Generaux, "Computing Ising models graphically - DPO for Markov Chains"
Emma Phillips, Claire Ott, Elise McMahon, "Weakly globular double categories and Petri nets"
|POSTER SESSION||Alexis Toumi, Alex Koziell-Pipe, "Functorial Language Models" (s) (v)||Michael Lambert, "Characterizing Double Categories of Relations" (s) (v)|
|DRINKS RECEPTION||Lachlan McPheat, Gijs Wijnholds, Mehrnoosh Sadrzadeh, Adriana Correia, Alexis Toumi, "Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics" (C) (s) (v)||Victoria Noquez, Larry Moss, "The Sierpinski Carpet as a Final Coalgebra" (s) (v)|
|David Spivak, "Learners' languages" (s) (v)||Anne Broadbent, Martti Karvonen, "Categorical composable cryptography" (s) (v)|
Left-to-right (with a front-to-back sublist): Tomas Jakl, Nick Hu, Nihil Shah, Hao Xu, Ieva Cepaite, Amin Karamlou, Amy Searle, Jules Hedges, Callum Reader, Benjamin Rodatz, Bruno Gavranovic, Swaraj Dash, (Razin Shaikh, Zanzi Mihejevs, Dylan Braithwaite, Joseph Grant), Joseph Martin, Paul Wilson, Cole Comfort, Matteo Capucci, Alex Rice, Calin Tataru, Simon Willerton, Ioannis Markakis, George Kaye, Robert Furber, and Lukas Heidemann.
The following 51 submissions have been accepted for presentation at ACT 2021. A full programme is available below. The suffix "(D)" indicates the submission has been selected for a distinguished presentation, while the suffix "(C)" denotes that it will be presented in person in Cambridge. The submissions are ordered according to their original submission number.
The following posters will be presented at the poster presentation session on Wednesday afternoon, in the form of lightning talks of a single slide. Italics indicate the person presenting the poster.
All dates are in 2021, and all deadlines are Anywhere-on-Earth on the given date.
The organizers are committed to ensuring a fantastic experience for both online and in-person participants. If you are giving a presentation at ACT 2021, you can do this either online or in-person.
Online participation. Online participation has now closed.
Physical participation. Registration for physical participation is now closed. If you do not have a registration, please do not show up in person at the conference. Due to the need for physical distancing the number of tickets has been precisely controlled.
Online participation will be via Zoom. If you want to participate online, please make sure to register (see Registration section above.)
Current UK government projections indicate that physical conference participation will be allowed for the conference dates. However, there of course remains a possibility that circumstances may change, and the organizers may reluctantly decide to cancel the physical confence due to circumstances related to the pandemic. If the physical conference is cancelled, any money paid for registration would be refunded. However, the organizers will not be liable for any other costs that physical participants may have, such as travel or accommodation. If you are not willing to take this risk, we suggest you plan to participate online.
The physical conference will take place at the Computer Laboratory (also known as the Department of Computer Science and Technology) at the University of Cambridge, shown on the following map. The department is situated about 1.5 miles to the west of the city, and it takes about 30 minutes to walk there from the city centre. Buses can be unreliable, so walking or cycling is the usual mode of transport around the city; there are plenty of cycle hire places that can be found on Google Maps. If you need a taxi, Uber operates in the city, and Camcab is a traditional taxi firm which can be contacted on 01223 704704. There is a nice cycle path which is an ideal way to walk or cycle between the department and the city centre, illustrated on the map below.
Accommodation in Cambridge can be booked through the usual websites. In particular we recommend http://www.universityrooms.com as a source of good-value accommodation, and suggest Fitzwilliam College as a low-priced option which is conveniently located close to both the conference location and the city centre.
Internet access is available at the conference venue through the Eduroam service. The best way to set this up is by using the Eduroam configuration tool, available for a wide range of devices.
The physical conference will be organized in a COVID-safe way. In particular, participants will be expected to observe social distancing, the number of participants will be restricted, seating in the lecture theatre will be well-spaced, coffee and lunch breaks will be outdoors where possible, and masks will be required while not eating or drinking, including for in-person speakers during their lecture.
Here is a list of food options that you can try while you are here:
Financial support applications have now closed.
Some financial support is available to support attendance by junior researchers who would like to attend the conference in person. To apply for this, send an email to Lukas Heidemann at email@example.com from an academic email address, with subject line "ACT 2021 Financial Support Application".
In your email, please give the following information: your name and affiliation; an estimate of the total cost for you to attend; the amount you are requesting; whether or not you have had a paper accepted to the conference (and if so, its submission number); and whether you have secured or applied for partial funding from another source (if so, this will strengthen your application). Also, please give a brief statement about why you believe that COVID restrictions will not prevent you from attending (e.g. "I live in the UK, and current government projections indicate no restrictions on conference travel and participation in July".)
You will be informed about the result of your application on
Tuesday 8 June Wednesday 9 June. Successful applicants for financial
support will be eligible for the Priority Physical Registration period, which opens on Wednesday 9 June.
Submission via EasyChair is now closed.
There are two submission tracks, both of which will be reviewed against the same standards of quality. Submission of work-in-progress is encouraged, but it must be more substantial than a research proposal.
Since ACT is an interdisciplinary conference, we use two tracks to accommodate the publishing conventions of different disciplines. For example, those from a Computer Science background may prefer the Proceedings Track, while those from a Mathematics, Physics or other background may prefer the Non-Proceedings Track. However, authors from any background are free to choose the track that they prefer, and submissions may be moved from the Proceedings Track to the Non-Proceedings Track at any time at the request of the authors.
The Adjoint School is an annual collaborative research event, in which junior researchers work on cutting-edge topics in applied category theory, guided by expert mentors. Traditionally, after a four month reading course, the participants meet at the venue of the ACT conference for a week of in-person research collaborator. Due to the pandemic, this year the research week will be held online. The students will share the results of their research in a special session during the ACT conference.
For more information see the official school website.