John Baez (UC Riverside), Bob Coecke (Oxford), Aleks Kissinger (Nijmegen), Brendan Fong (UPenn/MIT), and Joshua Tan (Oxford) are organizing a five-day applied category theory workshop, tentatively set for late April/early May at the Lorentz Center in Leiden. The aim of the workshop is to (1) explore new potential applications of category theory, (2) create a more cohesive and connected ACT community, especially among early-stage researchers, and (3) to try to outline common goals and open problems for the field.
While the workshop will host talks on a wide range of applications of category theory, there will be three special tracks on exciting new developments in the field:
- Dynamical systems and networks
- Systems biology
- Cognition and AI
Prior to the workshop, there will also be a weekend of tutorials for early-career researchers and industry practitioners, as well as a 8-week series of online seminars for PhD students called the “Kan Extension Lab”.
The organizers would welcome any feedback; please send comments to this link.
About Applied Category Theory
Category theory is a branch of mathematics originally developed to transport ideas from one branch of mathematics to another, e.g. from topology to algebra. Applied category theory refers to efforts to transport the ideas of category theory from mathematics to other disciplines in science, engineering, and industry.
This site originated from discussions at the Computational Category Theory Workshop at NIST on Sept. 28-29, 2015. It serves to collect and disseminate research, resources, and tools for the development of applied category theory, and hosts a blog for those involved in its study.