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.
We are pleased to announce the first international workshop:
Transactions in Category Theory
hosted at the University of Strathclyde, Royal College 512, Glasgow, Scotland, on June 2nd 2025.
The aim of this workshop is to bring together researchers in different applications of categories. This event will be hybrid. The talks will be broadcast online and there will be an online networking space for the remote participants. We are soliciting talks on applications of categories to other fields including but not limited to:
To submit a talk please send a title and abstract to jadeedenstarmaster@gmail.com and conor.mcbride@strath.ac.uk. We look forward to your participation.
Workshop Timeline:
Submission Deadline: 25th of April
Author Notification: 9th of May
Organizers:
Jade Master, Glasgow Lab for AI Verification
Conor McBride, University of Strathclyde, Quantinuum
Olivia Weston, University of Glasgow
Zans Mihejevs, Glasgow Lab for AI Verification
Dylan Braithwaite, Glasgow Lab for AI Verification
It would have been nice for this to be co-located with CALCO/MFPS :face_with_diagonal_mouth:.
Where and when are CALCO/MFPS?
From the website of TYPES, CALCO/MFPS will take place June 16-20 at the University of Strathclyde.
Correction, the week after that, editing. Corrected.
Congratulations for starting this, @Jade Master and company!
By the way, here's a silly question: when I hear "Transactions" I think "journal", since the only math thing I know called "Transactions" is the journal called Transactions of the American Mathematical Society. I can imagine a conference being called "Transactions" but... what made you decide to call this "Transactions"?
Transactions of the Royal Society too, I think arguably the first scientific journal.
Right! That may have started as transactions of actual meetings.
Cool!
... now all we need is something called FACT.
Thanks everyone. The date and name were mostly my co-organizer's ideas so I won't try to guess their motivations.
Chad Nester said:
now all we need is something called FACT.
I'm pushing for a PhACT, philosophically-applied category theory.