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: positions

Topic: Funded PhD positions in MSP Strathclyde, UK

view this post on Zulip Vikraman Choudhury (Dec 15 2025 at 11:24):

Hi all,

The Mathematically Structured Programming (MSP) Group at the University of Strathclyde is advertising funded PhD positions for UK home students. If you are interested in applying, please get in touch with one of us as soon as possible, by 22 December 2025 at the latest.

I would be happy to hear from anyone interested in category theory, type theory, and related topics.

Official link: https://msp.cis.strath.ac.uk/phd2026-JARSS.html

view this post on Zulip John Baez (Dec 15 2025 at 12:38):

By the way, who in the MSP group is particularly interested in categories these days? I know @Jade Master and @Jules Hedgesand @Zanzi were, but it seems they've left, essentially, to work on AI. (Jules is still supervising a student though.)

view this post on Zulip Jules Hedges (Dec 15 2025 at 12:47):

The informal motto of MSP group, courtesy of Conor, is "We are interested in type theory, category theory, and how to stop seeing them as different things"

view this post on Zulip Jules Hedges (Dec 15 2025 at 12:47):

Nobody is doing exclusively category theory, but basically everybody is doing at least some serious category theory

view this post on Zulip Vikraman Choudhury (Dec 15 2025 at 13:02):

I have recently joined and I'm interested in category theory. @Clemens Kupke, @Bob Atkey, @Fredrik Nordvall Forsberg are also doing category theory. We have several (old and new) students also interested in category theory. The people who left are still friends of MSP, and are still sometimes around in the department.

view this post on Zulip Vikraman Choudhury (Dec 15 2025 at 13:03):

Here is an official people page: https://msp.cis.strath.ac.uk/people.html

view this post on Zulip Jules Hedges (Dec 16 2025 at 17:34):

I'd also add for completeness that Conor also has very deep ideas in category theory, just usually presented in an idiosyncratic way that might not be very obvious at first