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 (May 22 2023 at 12:48):Hi all, another student and I want to start reading Bart Jacobs' Categorical Logic and Type Theory, so we wanted to ask here if anyone else wanted to join our reading group. We haven't figured out a schedule yet (we are in Europe).
Do tell us if you have suggestions on how to run a fun online reading group.
David Egolf (May 22 2023 at 15:28):In general, I'd be interested in joining a reading group. Jacobs' book is one that I've looked a tiny bit at before. It looks quite intriguing, but I suspect it would be tough going for me. I doubt I would be able to keep up with a schedule. However, I'd probably be interested in participating in a limited way, if that would be welcome.
One idea for connecting a reading group to the wider category theory zulip community does come to mind. Perhaps someone from the reading group could occasionally post a condensed summary of a section from Jacobs', together with an appropriate exercise (or "puzzle") to the "questions" stream. This could be a way of cultivating interesting discussion on the current section being read, as well as allowing for varying levels of participation in the reading group.
Ralph Sarkis (May 22 2023 at 15:43):That is a great idea! I always like to write stuff to make sure I understand it, and that would be a great motivation for doing it. Thanks!
fosco (May 22 2023 at 16:11):In what timezone are you meeting?
My understanding of CLTT is as (the page number) goes up. I might profit a lot from listening!
Ralph Sarkis (May 22 2023 at 16:36):We did not decide yet, we'll see with the availabilities of other members.
Patrick Nicodemus (May 22 2023 at 21:51):I spent a lot of time reading that book and I would be happy to discuss parts of it. I took notes which I have somewhere. It is a beautiful book. As influential on me as anything else I have read in mathematics.
Nathaniel Virgo (May 23 2023 at 07:07):I'm very slowly reading this book myself and still near the beginning. I'm in Japan so probably can't make the meetings, but I'm very happy to participate in any asynchronous activities.
Josselin Poiret (May 23 2023 at 07:28):I would also be interested in participating, it's been on my to-read list for a while now
Jean-Baptiste Vienney (May 23 2023 at 14:21):Hmm, I'm interested too. I want to read this book and it would probably be more motivating to do it with other people
dan pittman (May 23 2023 at 16:30):Work and life is a mess for me atm, but I'd definitely love following along asynchronously if y'all share anything on Zulip.
Jean-Baptiste Vienney (May 23 2023 at 17:09):David Egolf said:
One idea for connecting a reading group to the wider category theory zulip community does come to mind. Perhaps someone from the reading group could occasionally post a condensed summary of a section from Jacobs', together with an appropriate exercise (or "puzzle") to the "questions" stream. This could be a way of cultivating interesting discussion on the current section being read, as well as allowing for varying levels of participation in the reading group.
I think this is a wonderful idea. There are various things we could do such as:
Jean-Baptiste Vienney (May 23 2023 at 17:24):I've forgotten something:
Jean-Baptiste Vienney (May 23 2023 at 17:25):Just some further suggestions
Josselin Poiret (May 23 2023 at 19:33):Jean-Baptiste Vienney said:
David Egolf said:
One idea for connecting a reading group to the wider category theory zulip community does come to mind. Perhaps someone from the reading group could occasionally post a condensed summary of a section from Jacobs', together with an appropriate exercise (or "puzzle") to the "questions" stream. This could be a way of cultivating interesting discussion on the current section being read, as well as allowing for varying levels of participation in the reading group.
I think this is a wonderful idea. There are various things we could do such as:
- meet on Zoom
- make these summary + puzzle posts on Zulip
- write notes on Overleaf
- make small presentations and put them on YouTube
Let me be That Annoying Person™, but I would rather avoid any of those proprietary tools being mandatory. The reliance on YouTube is probably the only one I could understand as hard to get rid of, but the other ones could be entirely side-stepped by using other services.
Josselin Poiret (May 23 2023 at 19:35):(yes, I know Overleaf is open-source, but you still have a lot of limitations on their public instance)
Josselin Poiret (May 23 2023 at 19:40):anyways, didn't want to kill the mood with that! how do we go forward with a schedule? How often would we like this to be?
Nicolas Blanco (May 23 2023 at 20:46):I would be interesting in joining this reading group too. That's a great initiative, thanks @Ralph Sarkis
Ralph Sarkis (May 23 2023 at 22:08):Happy to have you all on board! Let's move the organization discussion to a private stream I just invited you to. If anyone else wants to join, they can message us, so we can invite them. We'll probably share some stuff in this public stream as we progress as David suggested.
Graham Manuell (May 23 2023 at 22:35):@Ralph Sarkis I might also be interested. Technically I'm supposed to already understand categorical logic, but I wouldn't mind following along.
Matteo Capucci (he/him) (May 24 2023 at 07:01):May I suggest that you write your notes on the nLab? There's a lot of missing material from CLTT. I've been adding some bits and pieces but the task is daunting.
Tomáš Jakl (May 25 2023 at 09:20):I'll be also interested in following, so please keep me informed.
Frank Tsai (Jun 01 2023 at 13:27):I'm interested.
Fernando Chu (Jun 01 2023 at 23:23):I'd like to participate too :) my timezone is -5 UTC if that matters
Ben Logsdon (Jun 08 2023 at 11:14):I would also be interested! My timezone is UTC -4.
Nico Beck (Jun 10 2023 at 05:42):Ralph Sarkis said:
Happy to have you all on board! Let's move the organization discussion to a private stream I just invited you to. If anyone else wants to join, they can message us, so we can invite them. We'll probably share some stuff in this public stream as we progress as David suggested.
How far into the book are you already? I have already read parts of it, but I would like to join for the second half :)
Nicolas Blanco (Jun 10 2023 at 11:27):Not far. We have covered the preliminaries and chapter 0.1
For next week we are reading chapter 0.2 and the exercises.
Julius (Jul 23 2023 at 13:58):Id like to join. Will you announce the next meeting here?
Jencel Panic (Aug 20 2023 at 10:11):I would like to join as well