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.
Jade Master (Mar 10 2025 at 17:26):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
Stelios Tsampas (Mar 10 2025 at 17:45):It would have been nice for this to be co-located with CALCO/MFPS :face_with_diagonal_mouth:.
John Baez (Mar 10 2025 at 19:53):Where and when are CALCO/MFPS?
Stelios Tsampas (Mar 10 2025 at 19:55):From the website of TYPES, CALCO/MFPS will take place June 16-20 at the University of Strathclyde.
Stelios Tsampas (Mar 10 2025 at 19:56):Correction, the week after that, editing. Corrected.
John Baez (Mar 10 2025 at 20:12):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"?
Kevin Carlson (Mar 10 2025 at 21:05):Transactions of the Royal Society too, I think arguably the first scientific journal.
John Baez (Mar 10 2025 at 23:21):Right! That may have started as transactions of actual meetings.
Chad Nester (Mar 11 2025 at 08:11):Cool!
... now all we need is something called FACT.
Jade Master (Mar 11 2025 at 09:15):Thanks everyone. The date and name were mostly my co-organizer's ideas so I won't try to guess their motivations.
David Corfield (Mar 11 2025 at 09:56):Chad Nester said:
now all we need is something called FACT.
I'm pushing for a PhACT, philosophically-applied category theory.