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.
John Baez (Feb 10 2024 at 18:00):There's a new forum for talking about category theory and programming, called The Monoidal Cafe. It's on Discord. It was set up by Zanzi. It has a much more free-wheeling vibe than here.
Ryan Schwiebert (Feb 10 2024 at 18:33):@John Baez Speaking as one on Discord but unable to use the link above to get access, it seems that particular link doesn't suffice. I tried searching on discoverable communities as well, but it does not appear. I think you might have to provide contact information for one who can dispense invites, so that people can inquire (if it is to remain non-public).
Min Ro (Feb 10 2024 at 18:54):The invite link for a discord server can be found by right clicking on the server, choosing "Invite People". There should be an invite url in the windo that pops up after. This link will only last for seven days.
John Baez (Feb 10 2024 at 19:58):Since I'm not a really active member of The Monoidal Cafe I don't feel morally empowered to go around giving invite links... I don't know what their attitude is about this.
Jacques Carette (Feb 10 2024 at 21:14):Given the recent spate of spam, I think Zanzi's going to want to be selective. But you can find her on Mastodon and Twitter.
Morgan Rogers (he/him) (Feb 11 2024 at 16:18):@Zanzi is here. Or maybe @Zanzi is the right user to ping?
Jules Hedges (Feb 11 2024 at 18:39):I think she logs in here extremely rarely, but I can forward messages by walking to the other side of our flat
Matteo Capucci (he/him) (Feb 12 2024 at 08:00):nods in TCP/IP physical layer abstraction
Jules Hedges (Feb 12 2024 at 13:07):So yeah, one way you can get an invite is to dm me on here
Zanzi (Feb 13 2024 at 16:10):Thank you for the plug @John Baez!
Zanzi (Feb 13 2024 at 16:10):Yes, we're a server for the Programming Language perspective on Applied Category Theory :D We're pretty relaxed there, and a bunch of people from here are there already, so feel free to join - we're open to everyone, not just coders.
Zanzi (Feb 13 2024 at 16:10):(I'm especially interested to see more Algebraic Julia people there, as we've got some ideas for a type system for hypergraph categories that could lead to a nice port of the AJ machinery from Julia to Idris/Agda)
Zanzi (Feb 13 2024 at 16:10):I'm going to share a temporary invite link to the community, and if that runs out feel free to ping me or Jules: https://discord.gg/apZFum9t