#### John Baez

#### November 4-5, 2017

## Applied Category Theory

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.

### Saturday November 4, 2017

9:00 a.m.

A higher-order temporal logic for dynamical systems
— talk slides and video.

**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 and
video.

**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

Joseph Moeller, University of California, Riverside

Blake S. Pollard, University of California, Riverside

10:30 a.m.

Operads for modeling networks
— talk slides.

**Joseph 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

© 2017

baez@math.removethis.ucr.andthis.edu