### Seminar on Applied Category Theory

#### Posted by David Corfield

I’m hosting a small symposium next Tuesday, 6 June, on Applied Category Theory, featuring our very own John Baez. Here’s the announcement.

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.

### Location

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

Online: MS Teams link

### Schedule

UK time (UTC +1), Tuesday 6 June

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*

## Re: Seminar on Applied Category Theory

This was a nice meeting! Thanks for organising it.