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.
Ralph Sarkis (Sep 13 2021 at 08:24):With some members of the old reading group on *Generic Figures and Their Glueings*, we are getting ready to start another group on Sheaves in Geometry and Logic, so we wanted to ask here if anyone else would like to join.
We haven't figured out a schedule yet, but we are already awkwardly spread in time zones, so if you are from the Americas (especially the west coast), it will be very hard to accommodate you.
Morgan Rogers (he/him) (Sep 13 2021 at 08:28):I've read it, but it would be good revision for me to help out with exercises or discussion if there is any! :grinning_face_with_smiling_eyes:
Ralph Sarkis (Sep 13 2021 at 08:33):Glad to hear this! We could keep the non-meta discussion here in case we need help.
Joe Moeller (Sep 13 2021 at 13:01):Perhaps if there are enough interested people in the Americas, two meetings could be set up, and the discussion here could be joint.
Ralph Sarkis (Sep 13 2021 at 13:55):Good idea :+1:
Eduardo Ochs (Sep 14 2021 at 03:56):@Ralph Sarkis, I would like to join!
Sean Gloumeau (Sep 14 2021 at 12:37):Same here @Ralph Sarkis !
Josh Chen (Sep 14 2021 at 17:14):@Ralph Sarkis I'd be interested to join :)
Eduardo Ochs (Sep 14 2021 at 20:19):By the way, what happened with the "Generic Figures" group, and how far were you able to read into the book? I tried to read it myself - several times, even - but I was never able to go beyond Chapter 3 because I couldn't understand some notations...
Would anyone be interested in discussing the notations of GFaTG with me? I've been working on ways to formalize several diagrammatic notations for CT - see this - and I would love to write some notes on the notations of GFaTG, with everybody's names on it, and put them on Arxiv...
Ralph Sarkis (Sep 15 2021 at 08:52):I answered your questions there. Personally, I wouldn't care to discuss their notation as I didn't like it very much.
Leopold Schlicht (Sep 15 2021 at 09:01):I'd be potentially interested to join the reading group as well.
Kishan Dayaram (Sep 18 2021 at 10:03):@Ralph Sarkis I would be interested to join as well.
Cody Roux (Sep 19 2021 at 22:39):We had such a group a while back, it was a lot of fun! Energy petered out after a while though... just around getting to the Mitchell-Benabou language I think.
Cody Roux (Sep 19 2021 at 22:39):Not sure where the tread is though.
Daniel Teixeira (Oct 07 2021 at 23:30):@Ralph Sarkis g'evening, is it too late to join the party?
Dylan Braithwaite (Oct 07 2021 at 23:33):@Daniel Teixeira I just tried to add you to the private stream for the reading group. Did that work?
Daniel Teixeira (Oct 07 2021 at 23:34):It did, thanks!
Wojciech Nawrocki (Nov 24 2021 at 20:16):Hi, I have been slowly reading through SGL ch. I this last week, so depending on how far along you are by now, would also be interested!
Jakob von Raumer (May 24 2022 at 13:20):We had a reading group on the book once in Nottingham, and still have videos up: http://sheav.es