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 2017 talks.

- 8:00 a.m.

Fibrations as generalized lens categories — talk slides.

**David I. Spivak**, Massachusetts Institute of Technology - 9:00 a.m.

Supplying bells and whistles in symmetric monoidal categories — talk slides.

**Brendan Fong**, Massachusetts Institute of Technology

David I. Spivak, Massachusetts Institute of Technology - 9:30 a.m.

Right adjoints to operadic restriction functors — talk slides.

**Philip Hackney**, University of Louisiana at Lafayette

Gabriel C. Drummond-Cole, IBS Center for Geometry and Physics

- 10:00 a.m.

Duality of relations — talk slides.

**Alexander Kurz**, Chapman University - 10:30 a.m.

A synthetic approach to stochastic maps, conditional independence, and theorems on sufficient statistics — talk slides.

**Tobias Fritz**, Perimeter Institute for Theoretical Physics - 3:00 p.m.

Constructing symmetric monoidal bicategories functorially — talk slides.

**Michael Shulman**, University of San Diego

Linde Wester Hansen, University of Oxford - 3:30 p.m.

Structured cospans — talk slides.

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

John C. Baez, University of California, Riverside - 4:00 p.m.

Generalized Petri nets — talk slides.

**Jade Master**, University of California, Riverside - 4:30 p.m.

Formal composition of hybrid systems — talk slides and website.

**Paul Gustafson**, Wright State University

Jared Culbertson, Air Force Research Laboratory

Dan Koditschek, University of Pennsylvania

Peter Stiller, Texas A&M University - 5:00 p.m.

Strings for cartesian bicategories — talk slides.

**M. Andrew Moshier**, Chapman University - 5:30 p.m.

Defining and programming generic compositions in symmetric monoidal categories — talk slides.

**Dmitry Vagner**, Los Angeles, CA

- 8:00 a.m.

Mathematics for second quantum revolution — talk slides.

**Zhenghan Wang**, UCSB and Microsoft Station Q - 9:00 a.m.

A compositional and statistical approach to natural language — talk slides.

**Tai-Danae Bradley**, CUNY Graduate Center - 9:30 a.m.

Exploring invariant structure in neural activity with applied topology and category theory — talk slides.

**Brad Theilman**, UC San Diego

Krista Perks, UC San Diego

Timothy Q. Gentner, UC San Diego - 10:00 a.m.

Of monks, lawyers and villages: new insights in social network science — talk cancelled due to illness.

**Nina Otter**, Mathematics Department, UCLA

Mason A. Porter, Mathematics Department, UCLA - 10:30 a.m.

Functorial cluster embedding — talk slides.

**Steve Huntsman**, BAE Systems FAST Labs - 2:00 p.m.

Quantitative equational logic — talk slides.

**Prakash Panangaden**, School of Computer Science, McGill University

Radu Mardare, Strathclyde University

Gordon D. Plotkin, University of Edinburgh - 3:00 p.m.

Brakes: an example of applied category theory — talk slides in PDF and Powerpoint.

**Eswaran Subrahmanian**, Carnegie Mellon University / National Institute of Standards and Technology - 3:30 p.m.

Intuitive robotic programming using string diagrams — talk slides.

**Blake S. Pollard**, National Institute of Standards and Technology - 4:00 p.m.

Metrics on functor categories — talk slides.

**Vin de Silva**, Department of Mathematics, Pomona College - 4:30 p.m.

Hausdorff and Wasserstein metrics on graphs and other structured data — talk slides.

**Evan Patterson**, Stanford University

© 2019

baez@math.removethis.ucr.andthis.edu