#### 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 some of these talks!
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.

**David I. Spivak**, MIT.

10:00 a.m.

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

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.

**Brendan Fong**, MIT

4:00 p.m.

Compositional modelling of open reaction networks
— talk slides.

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

**Kenny Courser**, University of California, Riverside

5:00 p.m.

A bicategorical syntax for pure state qubit quantum mechanics
— talk slides.

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

**Brandon Coya**, University of California, Riverside

10:00 a.m.

Compositional design and tasking of networks.

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