John Baez

Applied Category Theory, AMS Western Sectional Meeting

November 9-10, 2019

Applied Category Theory at UCR – 2019

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.

Saturday November 9, 2019

• 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

Sunday November 10, 2019

• 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

home