We had a special session on applied category theory here at UCR:
• Applied category theory, Fall Western Sectional Meeting of the AMS, 4-5 November 2017, U.C. Riverside.
A bunch of people stayed for a few days afterwards, and we had a lot of great discussions. I wish I could explain everything that happened, but I’m too busy right now. Luckily, even if you couldn’t come here, you can now see slides of almost all the talks… and videos of many!
Click on talk titles to see abstracts. For multi-author talks, the person whose name is in boldface is the one who gave the talk. For videos, go here: I haven’t yet created links to all the videos.
Saturday November 4, 2017
9:00 a.m.A higher-order temporal logic for dynamical systems — talk slides.
David I. Spivak, MIT.
Algebras of open dynamical systems on the operad of wiring diagrams — talk slides.
Dmitry Vagner, Duke University
David I. Spivak, MIT
Eugene Lerman, University of Illinois at Urbana-Champaign
A bicategorical syntax for pure state qubit quantum mechanics — talk slides.
Daniel M. Cicala, UCR
Sunday November 5, 2017
Controllability and observability: diagrams and duality — talk slides.
Jason Erbele, Victor Valley College
Frobenius monoids, weak bimonoids, and corelations — talk slides.
Brandon Coya, UCR
Compositional design and tasking of networks.
John D. Foley, Metron, Inc.
John C. Baez, UCR
Joseph Moeller, UCR
Blake S. Pollard, UCR
Knowledge representation in bicategories of relations — talk slides.
Evan Patterson, Stanford University, Statistics Department
Data modeling and integration using the open source tool Algebraic Query Language (AQL) — talk slides.
Peter Y. Gates, Categorical Informatics
Ryan Wisnesky, Categorical Informatics