Applied Category Theory 2019 happened last week! It was very exciting: about 120 people attended, and they’re pushing forward to apply category theory in many different directions. The topics ranged from ultra-abstract to ultra-concrete, sometimes in the same talk.
The talks are listed above — click for a more readable version. Below you can read what Jules Hedges and I wrote about all those talks:
• Jules Hedges, Applied Category Theory 2019.
I tend to give terse summaries of the talks, with links to the original papers or slides. Jules tends to give his impressions of their overall significance. They’re nicely complementary.
You can also see videos of some talks, created by Jelle Herold with help from Fabrizio Genovese:
• Giovanni de Felice, Functorial question answering.
• Antonin Delpeuch, Autonomization of monoidal categories.
• Colin Zwanziger, Natural model semantics for comonadic and adjoint modal type theory.
• Nicholas Behr, Tracelets and tracelet analysis Of compositional rewriting systems.
• Dan Marsden, No-go theorems for distributive laws.
• Christian Williams, Enriched Lawvere theories for operational semantics.
• Walter Tholen, Approximate composition.
• Erwan Beurier, Interfacing biology, category theory & mathematical statistics.
• Stelios Tsampas, Categorical contextual reasoning.
• Fabrizio Genovese, idris-ct: A library to do category theory in Idris.
• Michael Johnson, Machine learning and bidirectional transformations.
• Bruno Gavranović, Learning functors using gradient descent
• Zinovy Diskin, Supervised learning as change propagation with delta lenses.
• Bryce Clarke, Internal lenses as functors and cofunctors.
• Ryan Wisnewsky, Conexus AI.
• Ross Duncan, Cambridge Quantum Computing.
• Beurier Erwan, Memoryless systems generate the class of all discrete systems.
• Blake Pollard, Compositional models for power systems.
• Martti Karvonen, A comonadic view of simulation and quantum resources.
• Quanlong Wang, ZX-Rules for 2-qubit Clifford+T quantum circuits, and beyond.
• James Fairbank, A Compositional framework for scientific model augmentation.
• Titoan Carette, Completeness of graphical languages for mixed state quantum mechanics.
• Antonin Delpeuch, A complete language for faceted dataflow languages.
• John van der Wetering, An effect-theoretic reconstruction of quantum mechanics.
• Vladimir Zamdzhiev, Inductive datatypes for quantum programming.
• Octavio Malherbe, A categorical construction for the computational definition of vector spaces.
• Vladimir Zamdzhiev, Mixed linear and non-linear recursive types.