Tobias Fritz, Perimeter Institute for Theoretical Physics.
Constructing symmetric monoidal bicategories functorially. Michael Shulman*, University of San Diego, and Line Wester Hansen, University of Oxford.
Structured cospans. Kenney Courser*, University of California, Riverside, and John C. Baez, University of California, Riverside and Centre for Quantum Technologies, National University of Singapore.
Generalized Petri Nets. Jade Master, University of California, Riverside.
Formal composition of hybrid systems. Preliminary report. Jared Culbertson, Air Force Research Laboratory, Paul Gustafson*, Wright State University, Dan Koditschek, University of Pennsylvania and Peter Stiller, Texas A&M University.
Strings for cartesian bicategories, Preliminary report. M. Andrew Moshier, Chapman University.
Defining and programming generic compositions in symmetric monoidal categories. Dmitry Vagner, Los Angeles, CA.
Mathematics of second quantum revolution. Zhenghan Wang, UCSB and Microsoft Station Q.
Tai-Danae Bradley, CUNY Graduate Center, A compositional and statistical approach to natural language?.
Exploring invariant structure in neural activity with applied topology and category theory. Brad Theilman*, Krista Perks and Timothy Q. Gentner, UC San Diego.
Functorial cluster embedding. Steve Huntsman, BAE Systems FAST.
Quantitative equational logic. Prakash Panangaden, School of Computer Science, McGill University, Radu Mardare, Strathclyde University, and Gordon D. Plotkin, University of Edinburgh.
Brakes: an example of applied category theory. Eswaran Subrahmanian, Carnegie Mellon University/NIST.
Metrics on functor categories. Van de Silva, Department of Mathematics, Pomona College.
Hausdorff and Wasserstein metrics on graphs and other structured data. Evan Patterson, Stanford University.
Tai-Danae Bradley, CUNY Graduate Center, A compositional and statistical approach to natural language?.
Natural language has both a compositional and a statistical structure. These structures emerge when expressions in language combine to form longer expressions, and where the validity of an expression is captured by the statistics of the language. I’ll share some ideas about this, and explain why quantum probability theory and category theory provide a good framework for understanding both structures.