Applied Category Theory Meeting at UCR (Part 3)
Azimuth 2019-11-15
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.
• 8:00 a.m. Fibrations as generalized lens categories — talk slides. David I. Spivak, Massachusetts Institute of Technology
• 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
• 9:30 a.m. Right adjoints to operadic restriction functors — talk slides. Philip Hackney, University of Louisiana at Lafayette Gabriel C. Drummond-Cole, IBS Center for Geometry and Physics
• 10:00 a.m. Duality of relations — talk slides. Alexander Kurz, Chapman University
• 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
• 3:30 p.m. Structured cospans — talk slides. Kenny Courser, University of California, Riverside John C. Baez, University of California, Riverside
• 4:00 p.m. Generalized Petri nets — talk slides. Jade Master, University of California, Riverside
• 4:30 p.m. Formal composition of hybrid systems — talk slides. Paul Gustafson, Wright State University Jared Culbertson, Air Force Research Laboratory Dan Koditschek, University of Pennsylvania Peter Stiller, Texas A&M University
• 5:00 p.m. Strings for cartesian bicategories — talk slides. M. Andrew Moshier, Chapman University
• 5:30 p.m. Defining and programming generic compositions in symmetric monoidal categories — talk slides. Dmitry Vagner, Los Angeles, CA
• 8:00 a.m. Mathematics for second quantum revolution — talk slides. Zhenghan Wang, UCSB and Microsoft Station Q
• 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
• 10:30 a.m. Functorial cluster embedding — talk slides.
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:00 p.m. Brakes: an example of applied category theory — talk slides in PDF and Powerpoint. Eswaran Subrahmanian, Carnegie Mellon University / National Institute of Standards and Technology
• 3:30 p.m. Intuitive robotic programming using string diagrams — talk slides. Blake S. Pollard, National Institute of Standards and Technology
• 4:00 p.m. Metrics on functor categories — talk slides. Vin de Silva, Department of Mathematics, Pomona College
• 4:30 p.m. Hausdorff and Wasserstein metrics on graphs and other structured data — talk slides. Evan Patterson, Stanford University