Seminar on Applied Category Theory

University of Kent, June 6, 2023

David Corfield ran a seminar with three talks on applied category theory. Watch videos of the talks and click on the talk titles for slides.

Here is David Corfield's description of the whole show:

The language of Category Theory has been under development since the 1940s and continues to evolve to this day. It was originally created as a formal language to capture common mathematical structures and inference methods across various branches of mathematics, and later found application outside of mathematics. By introducing arrows to mediate between objects, the language is designed to represent anything that can be perceived as a process - including processes of inference and physical processes. The first applications of Category Theory outside of mathematics and logic were to physics and to computer science. There was also an early application in biology by Robert Rosen. But over the past decade we have seen researchers under the banner of Applied Category Theory take on a variety of novel subjects, addressing topics which include:
causality, probabilistic reasoning, statistics, learning theory, deep neural networks, dynamical systems, information theory, database theory, natural language processing, cognition, consciousness, systems biology, genomics, epidemiology, chemical reaction networks, neuroscience, complex networks, game theory, robotics, and quantum computing.
In this hybrid seminar at the Centre for Reasoning, University of Kent, we will be hearing online from two leading practitioners. All are welcome to attend.

© 2023 John Baez