Thread #16904996 | Image & Video Expansion | Click to Play
Anonymous
Looking for someone to learn category theory and typos theory with 02/03/26(Tue)16:18:13 No.16904996
Looking for someone to learn category theory and typos theory with 02/03/26(Tue)16:18:13 No.16904996
Looking for someone to learn category theory and typos theory with Anonymous 02/03/26(Tue)16:18:13 No.16904996 [Reply]▶
File: 978-1-4757-4721-8.jpg (111.8 KB)
111.8 KB JPG
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
10 RepliesView Thread
>>
>>
>>
File: sDSC_8312-Enhanced-NR-copy-1024x1024.jpg (124.9 KB)
124.9 KB JPG
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.
>>
>>
>>16904996
Type 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.
>>
>>16905031
Do 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
>>
>>16905199
Measure theory/probability
>>16905249
Topos theory. Thanks! I'll definitely check out Southwell on yt! Add me on discord: urist1334
I'm doing this because I want to go into research in category theory
>>16905292
I remember stuff temporarily, but I forget the theorems/math I learned a year ago unless I'm super actively using it.
>>
>>