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: Transactions in Category Theory (TACT 2025)


view this post on Zulip 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

view this post on Zulip 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:.

view this post on Zulip John Baez (Mar 10 2025 at 19:53):

Where and when are CALCO/MFPS?

view this post on Zulip 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.

view this post on Zulip Stelios Tsampas (Mar 10 2025 at 19:56):

Correction, the week after that, editing. Corrected.

view this post on Zulip 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"?

view this post on Zulip Kevin Carlson (Mar 10 2025 at 21:05):

Transactions of the Royal Society too, I think arguably the first scientific journal.

view this post on Zulip John Baez (Mar 10 2025 at 23:21):

Right! That may have started as transactions of actual meetings.

view this post on Zulip Chad Nester (Mar 11 2025 at 08:11):

Cool!

... now all we need is something called FACT.

view this post on Zulip 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.

view this post on Zulip 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.