Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: community: events

Topic: Seminar on Applied Category Theory


view this post on Zulip John Baez (May 31 2023 at 21:24):

@David Corfield is running a one-day Seminar on Applied Category Theory on Tuesday June 6, 2023.

view this post on Zulip John Baez (May 31 2023 at 21:25):

It's hybrid - you can attend using MS Teams if you go here, or in person at KS23, Keynes College, University of Kent, Canterbury.

view this post on Zulip John Baez (May 31 2023 at 21:26):

There are 3 talks. Times here are UK time (currently UTC +1):

view this post on Zulip John Baez (May 31 2023 at 21:28):

David wrote:

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](https://research.kent.ac.uk/reasoning/), University of Kent, we will be hearing online from two leading practitioners. All are welcome to attend.

view this post on Zulip Jacob Zelko (Jun 01 2023 at 14:02):

This is exciting! I'll try to go -- thanks for sharing @John Baez!

view this post on Zulip John Baez (Jun 09 2023 at 18:27):

You can now see talk videos and talk slides for the Seminar on Applied Category Theory here.

view this post on Zulip John Baez (Jun 09 2023 at 18:28):

That's these 3 talks: