We had a special session on applied category theory here at UCR:
• Applied category theory, Fall Western Sectional Meeting of the AMS, 9–10 November 2019, U.C. Riverside.
I was bowled over by the large number of cool ideas. I’ll have to blog about some of them. A bunch of people stayed for a few days afterwards, and we had lots of great conversations.
The biggest news was that Brendan Fong and David Spivak definitely want to set up an applied category theory in the San Francisco Bay Area, which they’re calling the Topos Institute. They are now in the process of raising funds for this institute! I plan to be involved, so I’ll be saying more about this later.
But back to the talks. We didn’t make videos, but here are the slides. Click on talk titles to see abstracts of the talks. For a multi-author talk, the person whose name is in boldface is the one who gave the talk. You also might enjoy comparing the 2017 talks.
• 9:00 a.m.
Supplying bells and whistles in symmetric monoidal categories — talk slides.
Brendan Fong, Massachusetts Institute of Technology
David I. Spivak, Massachusetts Institute of Technology
• 10:30 a.m.
A synthetic approach to stochastic maps, conditional independence, and theorems on sufficient statistics — talk slides.
Tobias Fritz, Perimeter Institute for Theoretical Physics
• 3:00 p.m.
Constructing symmetric monoidal bicategories functorially — talk slides.
Michael Shulman, University of San Diego
Linde Wester Hansen, University of Oxford
Paul Gustafson, Wright State University
Jared Culbertson, Air Force Research Laboratory
Dan Koditschek, University of Pennsylvania
Peter Stiller, Texas A&M University
• 5:30 p.m.
Defining and programming generic compositions in symmetric monoidal categories — talk slides.
Dmitry Vagner, Los Angeles, CA
• 9:00 a.m.
A compositional and statistical approach to natural language — talk slides.
Tai-Danae Bradley, CUNY Graduate Center
• 9:30 a.m.
Exploring invariant structure in neural activity with applied topology and category theory — talk slides.
Brad Theilman, UC San Diego
Krista Perks, UC San Diego
Timothy Q Gentner, UC San Diego
• 10:00 a.m.
Of monks, lawyers and villages: new insights in social network science — talk cancelled due to illness.
Nina Otter, Mathematics Department, UCLA
Mason A. Porter, Mathematics Department, UCLA
Steve Huntsman, BAE Systems FAST Labs
• 2:00 p.m.
Quantitative equational logic — talk slides.
Prakash Panangaden, School of Computer Science, McGill University
Radu Mardare, Strathclyde University
Gordon D. Plotkin, University of Edinburgh
• 3:30 p.m.
Intuitive robotic programming using string diagrams — talk slides.
Blake S. Pollard, National Institute of Standards and Technology
• 4:30 p.m.
Hausdorff and Wasserstein metrics on graphs and other structured data — talk slides.
Evan Patterson, Stanford University