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.
Davi Sales Barreira (Jun 18 2022 at 12:05):Hello, friends. I was wondering if there are any newcomers to Category Theory that would be interested in a study group of the book Basic Category Theory by Tom Leinster. The goal would not be to go over the theory, but to solve the exercises in the book and come up with a solution's manual by the end.
I've already got some of the gist of CT by reading "Category Theory for the Sciences" and now I'm trying to tackle more mathy exercises.
If there are people interested, I'll create a topic in the "learning: reading groups" stream.
Paolo Scarpat (Jul 07 2022 at 10:55):Davi Sales Barreira said:
Hello, friends. I was wondering if there are any newcomers to Category Theory that would be interested in a study group of the book Basic Category Theory by Tom Leinster. The goal would not be to go over the theory, but to solve the exercises in the book and come up with a solution's manual by the end.
I've already got some of the gist of CT by reading "Category Theory for the Sciences" and now I'm trying to tackle more mathy exercises.
If there are people interested, I'll create a topic in the "learning: reading groups" stream.
Hi! I've just read this message and I like your project, although my background isn't strong. I suppose you've already started solving the exercises. Which chapter of the book are you working on at the moment?
Davi Sales Barreira (Jul 16 2022 at 13:33):Hey, @Paolo Scarpat. Sorry, just saw your message now. I haven't actually started. Are you still interested?
Paolo Scarpat (Jul 16 2022 at 17:26):@Davi Sales Barreira Yes, I'm still interested :smile: I read a few parts of Leinster's book some time ago, but I didn't work seriously on the exercises.
Davi Sales Barreira (Jul 18 2022 at 13:10):@Paolo Scarpat , have you checked Steve Awodey's book? I'm actually thinking of going with that instead. Cause it covered more ground.
Davi Sales Barreira (Jul 18 2022 at 13:10):This week is really busy, so I might start next week.
Paolo Scarpat (Jul 18 2022 at 13:18):@Davi Sales Barreira Ok, I think we can try :smile:
Jonathan Davies (Jul 18 2022 at 13:20):I'm keen to join, but probably won't be able to until mid-August. Do start without me if you have enough people!
Davi Sales Barreira (Jul 18 2022 at 13:35):Great. I'll let you guys know.