ACT 2019
Applied Category Theory 2019 - Oxford, United Kingdom
You can find out more about ACT 2019 here.
idris-ct: A Library to Do Category Theory in Idris
Fabrizio Genovese
The Statebox Team (Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla)
Montague Semantics for Lambek Pregroups
Giovanni De Felice
Giovanni De Felice, Konstantinos Meichanetzidis, Alexis Toumi
Autonomization of Monoidal Categories
Antonin Delpeuch
Antonin Delpeuch
Natural Model Semantics for Comonadic and Adjoint Modal Type Theory
Colin Zwanziger
Colin Zwanziger
Approximate Composition
Walter Tholen
Walter Tholen
No-Go Theorems for Distributive Laws (temporary)
Dan Marsden
Maaike Zwart, Dan Marsden
Enriched Lawvere Theories for Operational Semantics (temporary)
Christian Williams
John C. Baez, Christian Williams
Interfacing biology, category theory and mathematical statistics
Erwan Beurier
Dominique Pastor, Erwan Beurier, Andreé Ehresmann, Roger Waldeck
Machine Learning and Bidirectional Transformations (Functorial Backpropagation and Symmetric Lenses)
Michael Johnson
Brendan Fong, Michael Johnson
A Summary on Categorical Contextual Reasoning
Stelios Tsampas
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Learning Functors using Gradient Descent
Bruno Gavranović
Bruno Gavranović
Supervised learning as change propagation with delta lenses
Zinovy Diskin
Zinovy Diskin
Internal Lenses as Functors and Cofunctors
Bryce Clarke
Bryce Clarke
Conexus AI
Ryan Wisnesky
Ryan Wisnesky
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems (Part 1)
Nicolas Behr
Nicolas Behr
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems (Part 2)
Nicolas Behr
Nicolas Behr
CQC Cambridge
Ross Duncan
Ross Duncan
Memoryless Systems Generate the Class of all Discrete Systems
Erwan Beurier
Erwan Beurier, Dominique Pastor, David Spivak
Compositional Models for Power Systems
Blake Pollard
John Nolan, Blake Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian
A Comonadic View of Simulation and Quantum Resources
Martti Karvonen
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
ZX-Rules for 2-qubit Clifford+T Quantum Circuits, and Beyond
Quanlong Wang
Bob Coecke, Quanlong Wang
Conjecture Intuition and Verification for Diagrammatic Languages
Hector Miller-Bakewell
Hector Miller-Bakewell
A Compositional Framework for Scientific Model Augmentation
James Fairbanks
Micah Halter, Christine Herlihy, James Fairbanks
A Recipe for Black Box Functors
Maru Sarazola
Maru Sarazola, Brendan Fong
Operadic Diagnosis for Hierarchical Systems
Spencer Breiner
Olivier Marie-Rose, Blake Pollard, Eswaran Subrahmanian
Completeness of Graphical Languages for Mixed States Quantum Mechanics
Titouan Carette
Titouan Carette, Emmanuel Jeandel, Simon Perdrix, Renauld Vilmart
A Complete Language for Faceted Dataflow Programs
Antonin Delpeuch
Antonin Delpeuch
An Effect-theoretic Reconstruction of Quantum Theory
John van de Wetering
John van de Wetering
Inductive Datatypes for Quantum Programming
Vladimir Zamdzhiev
Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev