I want to work through category theory for the working mathematician by Mac Lane and the followup book Sheaves in Geometry and Logic by Mac Lane. I have a PhD in pure math but I'm somewhat slow and not the brightest. I was looking for someone who would be interested in working through these books with me or someone who already knows the subjects and would be able to check my answers to the solutions. I intend to try to solve every exercise.About me: I'm very friendly and silly and like anime
>>16904996How do you have PhD in pure math but not be at least of average intelligence
>>16905028I'm relatively smart and I'm a good problem solver, but I have a bad memory and other mathematicians learn like 1000x more theory than I do
What's your field?Sadly cats and types aren't exactly something I'd want to do a reading group on - I was on that trip a decade ago. It's nice, but I'm not completely aligned. That said, even if the board is a bit dead, you can keep a thread going (they usually live now 2+ days without any post).tbd in a sense I think LLMs killed communication also. Barely a need to get info from others now... It's more of a social need of us.
>>16905199>MUH AIkys
>>16904996Type theory or topos theory?I've gone through a decent chunk of MacLane's book on topoi, and have probably seen more or less everything in his category theory book at some point or another, so I'm happy to check your answers to exercises, or discuss any questions. I'll say that you shouldn't probably aim to go through every exercise unless you were trying to get a migraine. At a certain point, it'll get very tedious. Moreover, it is very difficult to learn category unless you have some kind of motivation; it is very dry on its own. That said, one person who manages to make it rather interesting as a standalone subject is Richard Southwell, whose youtube channel is a goldmine.
>>16905031Do you know or apply spaced repetition, active recall reading? I'm also like you (and I'm still working on it) but what I realise is that experts constantly (usually in their head) are always working examples of what they learnt even as their reading it and constantly after, which helps with memory. They also have a clear structure of concepts
>>16905199Measure theory/probability >>16905249Topos theory. Thanks! I'll definitely check out Southwell on yt! Add me on discord: urist1334I'm doing this because I want to go into research in category theory>>16905292I remember stuff temporarily, but I forget the theorems/math I learned a year ago unless I'm super actively using it.
>>16905306I don't have discord.
>>16905398My email is moleculedumal@gmail.com. shoot an email
