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
>>16904996picrel book is outdated garbageJoy of Cats is much better
>>16905891They >>16905249 never emailed me. I'd appreciate anyone else that'd like to learn with me or could go over my proofs.>>16905900:DD
>>16905306>research in category theoryI ask Grok (pls don't hate me) about diving into CT and it's awesome. Things I've struggled with or neglected became clear within a short time. Now I throw CT at complex or mundane things, everything becomes immediately clear and obvious.
>>16905900True, I tried that reading it only to find out metacategory is an outdated term on nLab. I would suggest Category in Context by Emily Riehl instead.
>>16908005>oh no a term is outdated So? >Emily RiehlI always hear that dyke’s name everywhere like she’s the next Grothendieck but to my knowledge she hasn’t contributed a single major result to the field.I can predict the response btw. You’re going to drop some papers she coauthored with some simps who considered it their duty to put her as the coauthor despite her doing 1% of the work at most.I have had the misfortune of working under female professors and they’re the most turbocharged sycophants in existence. Their entire career revolves around finding simps to do their work for them.
Be honest, are you trans?
>>16908197>So?I have only skimmed through the first part of both books, but McLane's writing style and visualization of some concepts are also outdated. Emily's book is just more fleshed out and easier to read imo.>Blah blah blah...Didn't ask buddy.
Well, hi!To be honest, I'm an undergrad student, and not even from pure maths, but from CS. But I really would like to try to participate, even if it could be a little too hard for me to understand some concepts.I like pure maths, because of college I do this just as a hobby. But I never walked into "the ways of algebra", until now I was really attached to classical, constructionist and modal logic.To be straight, if you think my participation could be of some value, mail me (hft2yq8i2@mozmail.com, yes, it's an alias. But you can call me Colin).
>>16904996>Looking for someone to learn category theory and typos theory with>typos theoryLooks to me like you have already mastered typos.
>>16908445This is so obvious, I'm mad I didn't come up with this
>>16904996>someone>working mathematician>workingLearn to nurse.
>>16908388I emailed you but you didn't respond
>>16905891in the future it is advised to use "at" rather than "@" because of bots stealing data. For example: email at gmail.com
>>16911202I sent you a request on discord 1 or 2 days ago
so who are you really trying to fish for here sweetie?
>>16913447Send another one, sorry! I thought it was a solicitor adding me due to the common server so I declined it ;-;
>>16904996Do not waste time reading this book it is super old and outdated.Start with "An Invitation to Applied Category Theory" and go from there.
>>16914391I did resend it now but to me it had appeared as still pending so maybe youd declined someone else? My profile picture is orange.
>>16914575Yes there is free lectures too with the book/notes http://brendanfong.com/7sketches.htmlNot sure if OP cares but there is finally decent material on Dependent Type theory like this draft https://carloangiuli.com/papers/type-theory-book.pdf
>>16914575I might not even recommend it, but outdated seem a bit overboard.There's nothing in there that's superflous now, is there?Maybe it doesn't go with type theory trends etc., but like learning about ring theory, or number theory, a 70's book is fine for algebra.
>>16904996What was the topic for your doctoral dissertation?
>>16916540this
>>16907531>muh aikys>>16905199>ai da foochur>muh aikys>t. arithmetic geometer 140 IQ
>>16918891Unironically, how are you writing papers in arithmetic geometry with such a low IQ?
