>>16904996
How do you have PhD in pure math but not be at least of average intelligence

>>16905028
I'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

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.

>>16905199
>MUH AI
kys

>>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.

>>16905306
I don't have discord.

>>16905398
My email is moleculedumal@gmail.com. shoot an email

>>16904996
picrel book is outdated garbage
Joy of Cats is much better

File: 1738293087496249.webm (2.7 MB)

2.7 MB WEBM

>>16905891
They >>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 theory
I 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.

>>16905900
True, 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.

File: IMG_5556.jpg (35.3 KB)

35.3 KB JPG

>>16908005
>oh no a term is outdated
So?
>Emily Riehl
I 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 theory
Looks to me like you have already mastered typos.

>>16908445
This is so obvious, I'm mad I didn't come up with this

>>16904996
>someone
>working mathematician
>working
Learn to nurse.

>>16908388
I emailed you but you didn't respond

>>16905891
in the future it is advised to use "at" rather than "@" because of bots stealing data. For example: email at gmail.com

>>16911202
I sent you a request on discord 1 or 2 days ago

so who are you really trying to fish for here sweetie?

>>16913447
Send another one, sorry! I thought it was a solicitor adding me due to the common server so I declined it ;-;

>>16904996
Do not waste time reading this book it is super old and outdated.

Start with "An Invitation to Applied Category Theory" and go from there.

>>16914391
I did resend it now but to me it had appeared as still pending so maybe youd declined someone else? My profile picture is orange.

>>16914575
Yes there is free lectures too with the book/notes http://brendanfong.com/7sketches.html

Not 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

>>16914575
I 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.

>>16904996
What was the topic for your doctoral dissertation?

>>16916540
this

>>16907531
>muh ai
kys
>>16905199
>ai da foochur
>muh ai
kys
>t. arithmetic geometer 140 IQ

>>16918891
Unironically, how are you writing papers in arithmetic geometry with such a low IQ?

>>16909466
Why?

>>16918891
>arithmetic geometer
So you can count integers and draw rectangles?

File: 61la3AtIA1L.jpg (93 KB)

93 KB JPG

Why not this bad boy?