🧵 WHY AREN'T YOU ASPIRING TO BECOME A CATEGORY THEORY
Anonymous at Mon, 22 Apr 2024 11:16:21 UTC No. 16140321
Give me one good reason why do do you prefer being a math crawling rat instead of being CATEGORY-GOD looking from everything above.
Do you really think that studying some pedantic fake schemes is a way?
Why do you prefer to be beta-chicken pecking some tiny seeds, instead of looking from everything from above, and moving in insanely fast pace, like an eagle?
Because you have some stupid chicken coop (university) to live inside?
That's cringe, in the history of world the most important discoveries were always done by lone wolves - not by fucking ants - outside of these official institutions, and that being said, the academia becoming increasingly more cringy is showing my point even more.
Anonymous at Mon, 22 Apr 2024 15:52:57 UTC No. 16140632
A monad is a monoid in the category of endofunctors, what's the problem?
Anonymous at Mon, 22 Apr 2024 18:06:15 UTC No. 16140827
>>16140321
because it’s not 2008 anymore and the fad is over
Anonymous at Mon, 22 Apr 2024 18:48:53 UTC No. 16140895
>>16140827
So what is fashionable now?
Anonymous at Tue, 23 Apr 2024 01:09:55 UTC No. 16141444
>>16140895
I don’t know about “fashionable”, but the equivalent tranny fad seems to be Rustlang
Anonymous at Tue, 23 Apr 2024 01:27:50 UTC No. 16141462
>>16140321
Category theory is cool and hopefully I'll learn more (I'm sure I will one day), but for the time being, I'm really interested in graphs, probability, game theory, linear algebra, optimization and other tools that can be used to understand social and biological systems, and other complex systems that are poorly understood.
Anonymous at Tue, 23 Apr 2024 01:50:31 UTC No. 16141479
It’s the chaos theory of recent years. Maybe one day it will mean something besides more terminology and symbols for the same things, but it’s basically gay
Anonymous at Tue, 23 Apr 2024 02:02:13 UTC No. 16141486
>>16140632
A monad is a symbol that you can move around inside your lambda term, but you can’t get rid of it
Anonymous at Tue, 23 Apr 2024 04:07:23 UTC No. 16141576
>>16140321
Show me something new that category theory has done which has then been used to get a meaningful specific mathematical result.
It is my understanding that all it does is take mathematical results which were achieved by "beta-chicken pecking" at specific results and abstracts all of the specifics away and pretends like it achieved something by creating a one-size-fits-all tool whose only use case is the specific result it was derived from.
A category theorist's heuristic is to wait until somebody smart does something meaningful then do some brain-dead abstraction process and smugly pretend like you obtained some deeper knowledge.
Anonymous at Tue, 23 Apr 2024 04:18:20 UTC No. 16141584
If there's a chicken coop the its dual is the chicken op.
Anonymous at Tue, 23 Apr 2024 09:00:33 UTC No. 16141831
>>16141576
As math becomes more and more complex (by ai, for instance), soon we will not be able to understand math on local level, with all these mindnumbing details, we will be only able to grasp math on meta level. And are there any better alternatives to getting meta-understaning than by category theory?
Grothendieck was looking at math at global level and he was getting results.
Category theory nowadays is fundamental to proof assistants like lean, and so if not directly, it leads to more and more new results. I especially believe that when we will combine AI with lean it will lead to completly groundbreaking results. And since category theory is fundamental to lean and maybe soon it will give us some understanding of ai (https://www.youtube.com/watch?v=ri
Anonymous at Tue, 23 Apr 2024 13:56:15 UTC No. 16142095
>>16141584
what about a faggot coop?
Anonymous at Tue, 23 Apr 2024 13:56:44 UTC No. 16142096
>>16142095
Go on, what's it saying?
Anonymous at Tue, 23 Apr 2024 15:34:24 UTC No. 16142201
>>16142101
It's literally me and I am not sure if I like it.
Anonymous at Tue, 23 Apr 2024 15:47:50 UTC No. 16142214
>>16142201
not the pic anon, but im sure you'll manage to be more rounded with respect to mathematical fields, if i where you it set myself a slow start of 6 to 10 non-category theory problems a day, 3 days a week, weekend's off for 3 or 4 months, how does that sound to you?, im must warn you that is better to start slowly to shake the rust off, best wishes
Anonymous at Tue, 23 Apr 2024 16:28:22 UTC No. 16142261
>>16142214
I feel like I feel better in category theory rabbit hole, maybe someday I will crawl out from it, to the normie land of normie mathematics as a magician.
Anonymous at Tue, 23 Apr 2024 17:35:55 UTC No. 16142357
>>16142261
>>I feel like I feel better in category theory rabbit hole,
same, it's comfy and i'm glad it's considered real maths, unlike statistics
Anonymous at Tue, 23 Apr 2024 17:55:33 UTC No. 16142380
Anonymous at Tue, 23 Apr 2024 18:03:21 UTC No. 16142391
>>16141576
>A category theorist's heuristic is to wait until somebody smart does something meaningful then do some brain-dead abstraction process and smugly pretend like you obtained some deeper knowledge.
kek that's most pure math
Anonymous at Tue, 23 Apr 2024 18:20:29 UTC No. 16142417
>>16141576
yeah there's no purely categorical theorem. so far it's just re-writting bourbakian theorems in a new framework