David Corfield Seminar on Applied Category Theory


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.


  • In person: KS23, Keynes College, University of Kent, Canterbury

  • Online: MS Teams link


UK time (UTC +1) (talks and slides available here)

  • 15.30-15.50 David Corfield (Kent), Introduction: Applied Category Theory from a Philosophical Point of View

  • 15.50-16.50 Toby St Clere Smithe (Topos Institute, Oxford), Understanding the Bayesian Brain with Categorical Cybernetics

  • 17.00-18.00 John Baez (UC Riverside), Applied Category Theory

Last revised on June 8, 2023 at 13:54:52. See the history of this page for a list of all contributions to it.