Applied Category Theory

John Baez

Applied Category Theory, AMS Western Sectional Meeting

November 4-5, 2017

Applied Category Theory at UCR – 2017

In 2017 we had a special session on applied category theory at a meeting of the American Mathematical Society here at U.C. Riverside. You can see slides of these talks!

There are also videos for some, but these are not of excellent quality, and some are fragmentary. It will certainly helpful to download the slides and view those while attempting to watch these videos.

Click on talk titles to see abstracts. For a multi-author talk, the person whose name is in boldface is the one who gave the talk. Also check out the 2019 talks.

Saturday November 4, 2017

9:00 a.m.
A higher-order temporal logic for dynamical systems — talk slides. For video of a very similar talk, go here.
David I. Spivak, MIT.

10:00 a.m.
Algebras of open dynamical systems on the operad of wiring diagrams — talk slides and video.
Dmitry Vagner, Duke University
David I. Spivak, MIT
Eugene Lerman, University of Illinois at Urbana-Champaign

10:30 a.m.
Abstract dynamical systems — talk slides.
Christina Vasilakopoulou, University of California, Riverside
David Spivak, MIT
Patrick Schultz, MIT

3:00 p.m.
Decorated cospans — talk slides and video part 1 and part 2.
Brendan Fong, MIT

4:00 p.m.
Compositional modelling of open reaction networks — talk slides and video.
Blake S. Pollard, University of California, Riverside
John C. Baez, University of California, Riverside

4:30 p.m.
A bicategory of coarse-grained Markov processes — talk slides and video.
Kenny Courser, University of California, Riverside

5:00 p.m.
A bicategorical syntax for pure state qubit quantum mechanics — talk slides and video.
Daniel M. Cicala, University of California, Riverside

5:30 p.m.
Open systems in classical mechanics — talk slides.
Adam Yassine, University of California Riverside

Sunday November 5, 2017

9:00 a.m.
Controllability and observability: diagrams and duality — talk slides.
Jason Erbele, Victor Valley College

9:30 a.m.
Frobenius monoids, weak bimonoids, and corelations — talk slides and video part 1 and part 2.
Brandon Coya, University of California, Riverside

10:00 a.m.
Compositional design and tasking of networks — talk slides.
John D. Foley, Metron, Inc.
John C. Baez, University of California, Riverside
Joe Moeller, University of California, Riverside
Blake S. Pollard, University of California, Riverside

10:30 a.m.
Operads for modeling networks — talk slides.
Joe Moeller, University of California, Riverside
John Foley, Metron Inc.
John C. Baez, University of California, Riverside
Blake S. Pollard, University of California, Riverside

2:00 p.m.
Reeb graph smoothing via cosheaves — talk slides.
Vin de Silva, Department of Mathematics, Pomona College

3:00 p.m.
Knowledge representation in bicategories of relations — talk slides.
Evan Patterson, Stanford University, Statistics Department

3:30 p.m.
The multiresolution analysis of flow graphs — talk slides.
Steve Huntsman, BAE Systems

4:00 p.m.
Data modeling and integration using the open source tool Algebraic Query Language (AQL) — talk slides.
Peter Y. Gates, Categorical Informatics
Ryan Wisnesky, Categorical Informatics