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 systemstalk 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 diagramstalk 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 systemstalk slides.
Christina Vasilakopoulou, University of California, Riverside
David Spivak, MIT
Patrick Schultz, MIT

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

4:00 p.m.
Compositional modelling of open reaction networkstalk 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 processestalk slides and video.
Kenny Courser, University of California, Riverside

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

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

Sunday November 5, 2017

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

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

10:00 a.m.
Compositional design and tasking of networkstalk 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 networkstalk 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 cosheavestalk slides.
Vin de Silva, Department of Mathematics, Pomona College

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

3:30 p.m.
The multiresolution analysis of flow graphstalk 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
© 2017
baez@math.removethis.ucr.andthis.edu

home