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.
Josh Lalonde (Jun 11 2021 at 20:34):Are there any other beginners on here who would like to work together on trying to learn some category theory?
Fintan Halpenny (Jun 11 2021 at 23:13):I'm a beginner :hand: have read through 7 Sketches and working through Conceptual Mathematics. What were you thinking?
Josh Lalonde (Jun 12 2021 at 14:23):Sounds like you're more advanced than me lol. I'm working my way through R. F. C. Walters' Categories and Computer Science. I have a copy of Conceptual Mathematics on order. I was thinking of picking a book like one of those and having a regular (say every two weeks) online meetup where we would work through some of the exercises together. But I'm open to other suggestions for format.
Nick Smith (Jun 13 2021 at 01:59):I am also a beginner who has recently read Seven Sketches :unicorn:. Would be happy to join with a few people to read Conceptual Mathematics.
Fintan Halpenny (Jun 13 2021 at 08:52):I may have gone through more material but I don't feel advanced :innocent: how is Categories and Computer Science? Myself and some colleagues were thinking of going through that or Category Theory for Computing Science (loving the variation on the titles :joy:) , or some others from a list. We haven't decided on anything yet.
Fintan Halpenny (Jun 13 2021 at 08:53):I'm not sure how much I can commit to anything though. I currently meet with my colleagues once a week on some material, then I also meet another friend once a week and we're going through Introduction to Topology. On top of that I try to fit in Conceptual Mathematics :sweat_smile:
Josh Lalonde (Jun 13 2021 at 17:23):I've found Categories and Computer science quite comprehensible so far, but I think it's a bit elementary in terms of the material that it covers. It's only about halfway through the book that the notion of functors is introduced. I was also recommended Category Theory for Computing Science, so I'd like to check it out too. Feel free to invite your interested colleagues to join in. If we can get 5-10 people signed on then you could drop in whenever you have time.
Josh Lalonde (Jun 15 2021 at 23:14):@Fintan Halpenny @Nick Smith Here's the link to a Discord server where I'm organizing the study group: https://discord.gg/hTEpgYv . It's a bit confusing but just go to the #introductions channel and introduce yourself so that I or the server owner can assign you the member role. We can use the channel #self-organized-readings for setting up the group.
Nick Smith (Jun 15 2021 at 23:27):That server seems awfully convoluted for a chat room. Anyway, joined :smile:
Fintan Halpenny (Jun 16 2021 at 06:38):I don't see an #introductions channel weirdly enough :sweat_smile:
Nick Smith (Jun 16 2021 at 07:56):The #introductions channel is hidden to new users until you post in the other channel you have access to. Then a moderator makes #introductions visible to you. Then after you post in that they make the rest of the channels visible. Hence me calling it "convoluted" :neutral:.
Fintan Halpenny (Jun 16 2021 at 08:12):I also had to wait 10mins to make any post :sweat_smile:
Peiyuan Zhu (Dec 23 2021 at 04:34):Hi is this study group still ongoing