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 (Apr 05 2023 at 22:01):CATNIP stands for Categories Networking Project.
The Universities of Aberdeen, Edinburgh, and Strathclyde are starting a network in category theory, funded by the Isaac Newton Institute. The aim is to create an arena for the dissemination and the discussion of cutting-edge research in category theory, bringing together a community of mathematicians and theoretical computer scientists using category theory in their research. There will be three day-long meetings a year. The first meeting will be held in Edinburgh Wednesday 14th June.
(This is all I know: @Chris Heunen will eventually tell us more.)
Matteo Capucci (he/him) (Apr 11 2023 at 16:28):I'm so excited for this but I'm also going to miss the first one :tear:
fosco (Apr 12 2023 at 07:47):It is unclear if the message is a call for participation: in case it is, I saved the date!
John Baez (Apr 12 2023 at 18:58):It was a "heads-up" that I saw in my email, probably because I'm on some Edinburgh category theory mailing list. I hope some clearer announcement will follow.
Jules Hedges (Apr 13 2023 at 09:00):We might only advertise to locals, to be decided still
Chris Heunen (May 09 2023 at 13:41):We can make it official now!
Categories Networking Project (CATNIP) is a new scientific network between the University of Aberdeen, the University of Edinburgh and the University of Strathclyde; it is focused on category theory, both in its foundational aspects and in its interactions with computer science and with other areas of mathematics, such as topology, algebra, mathematical physics and applied mathematics.
https://sites.google.com/view/catniporg/home
The first meeting will be held at the
University of Edinburgh
on June 14.
Invited speakers:
The programme will be announced shortly. The meeting is open to everybody. Participants from the three nodes may be offered travel reimbursement. We hope to be able to reimburse all staff and PhD students from the nodes, but if (depending on participants numbers) any budget issues arise priority will be given to PhD students and early career researchers. Please register at:
https://forms.gle/AxAuNQWqLM8fzWef7
John Baez (Jun 13 2023 at 20:07):Meow! The first CATNIP session is tomorrow, Wednesday June 14th 2023, and you can watch it on Zoom!
John Baez (Jun 13 2023 at 20:08):Three talks:
11:30 UK time - Vanessa Miemietz (University of East Anglia): "Categorification in Representation Theory"
13:30 UK time - Elena di Lavore (Tallinn University of Technology): "Partial Markov Categories"
15:30 UK time - Nicola Gambino (University of Manchester): "Two-Dimensional Categorical Logic"
You can join here:
https://ed-ac-uk.zoom.us/j/83331873132
Meeting ID: 833 3187 3132
Passcode: Noether99
For more information go here:
https://sites.google.com/view/catniporg/meetings
Dylan Braithwaite (Jun 13 2023 at 21:33):John Baez said:
Three talks:
11:30 UK time - Elena di Lavore (Tallinn University of Technology): "Partial Markov Categories"
13:30 UK time - Nicola Gambino (University of Manchester): "Two-Dimensional Categorical Logic"
15:30 UK time - Vanessa Miemietz (University of East Anglia): "Categorification in Representation Theory"
The order here doesn't seem to match the website. It has Vanessa first, followed by Elena then Nicola.
John Baez (Jun 13 2023 at 22:40):Whoops! Thanks - I fixed it.
( I got the order from an email listing the talks which did not include the talk times; then I stuck in the times.)
Jean-Baptiste Vienney (Jun 14 2023 at 00:50):Whoo, the first talk sounds very interesting to me, the second talk seems very interesting to me and the third talk looks very interesting to me. Will they be recorded?
John Baez (Jun 14 2023 at 00:51):Talk to the boss.
Jean-Baptiste Vienney (Jun 14 2023 at 00:53):Well, he told me "please don't be afraid to contact anyone" so I guess I can email the boss
Jean-Baptiste Vienney (Jun 14 2023 at 00:54):He must be sleeping now though
Nico Beck (Jun 14 2023 at 10:00):Jean-Baptiste Vienney said:
Whoo, the first talk sounds very interesting to me, the second talk seems very interesting to me and the third talk looks very interesting to me. Will they be recorded?
If they are recorded, can you post a link here? I'd love to listen to the third talk, but I don't have time.
Dylan Braithwaite (Jun 14 2023 at 10:04):@Jules Hedges said on another thread, regarding the same question:
I'll look into this. I consider there's no reason to not record stuff, since Zoom makes it extremely easy
I imagine it will come down to whether the speakers are happy to be recorded
Jean-Baptiste Vienney (Jun 14 2023 at 10:14):So Chris Heunen says that they hope to make some recordings available afterwards but not all speakers have given their consents.
Jules Hedges (Jun 15 2023 at 11:07):Yeah, since the majority of speakers declined to be recorded we decided not to record. Sorry!