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.
José Siqueira (Mar 09 2021 at 11:16):Hi all! I'd like to invite you to today's talk at the Cambridge Category Theory Seminar (@2:15 pm GMT). Our speaker is Dr. Luca Reggio (University of Oxford).
Title: A characterisation of the category of compact Hausdorff spaces
You can find the details here: http://talks.cam.ac.uk/talk/index/158035
José Siqueira (May 20 2021 at 10:47):The next talk will be Tuesday (25/05) at 16:15 pm BST (=GMT+1). Our speaker this time is Martti Karvonen (University of Ottawa).
Title: Categorical composable cryptography
Details (including Zoom data) can be found here: http://talks.cam.ac.uk/talk/index/160660
José Siqueira (May 27 2021 at 13:40):I'm happy to announce another talk for next Tuesday (01/06), at 4:15 pm BST (=GMT+1). Our speaker will be Valeria de Paiva (Topos Institute).
Title: Categorical Models of Explicit Substitutions
Details (including Zoom data) can be found here: http://talks.cam.ac.uk/talk/index/160855
John Baez (May 27 2021 at 15:57):By the way, is this seminar organized by DPMMS, computer science, or both? I'm curious about what's going on with category theory in Cambridge now that Martin Hyland has retired in maths and Jamie Vicary has gotten a job there in computer science.
Nathanael Arkor (May 27 2021 at 15:59):This is the DPMMS seminar. There's a separate seminar in the computer science theory group, which is organised by Jamie Vicary (some of the past talks have been uploaded on the OWLS YouTube channel), though it's been inactive recently, and it's not exclusively category theory.
José Siqueira (May 27 2021 at 16:23):I've been organising them since Tamara left, but it will likely be over once I graduate (hopefully in a few months); as far as I know all the category theory in Cambridge will be left to the Computer Lab, as both PTJ and Hyland are retired and I'm the last student.
Alexander Campbell (May 27 2021 at 22:03):José Siqueira said:
I've been organising them since Tamara left
Where&when did Tamara go?
José Siqueira (May 27 2021 at 22:22):Roughly 2 years ago. I haven't spoken to her in a while, but last time I had news she had some nice industry job
Nathanael Arkor (May 27 2021 at 22:27):Alexander Campbell said:
José Siqueira said:
I've been organising them since Tamara left
Where&when did Tamara go?
I believe she works at DeepMind now.
José Siqueira (Jun 02 2021 at 18:32):The next category theory seminar will be next Tuesday (08/06) at 10 am BST (=GMT+1). My apologies for the time, but it can't be helped --- our speaker this time is Richard Garner (Macquarie University).
Title: Cartesian differential categories as skew enriched categories
Details can be found in http://talks.cam.ac.uk/talk/index/160930 .