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.