[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 5 KB, 187x188, 17823465687123.png [View same] [iqdb] [saucenao] [google]
10960071 No.10960071 [Reply] [Original]

>https://en.wikipedia.org/wiki/Category_theory
What's the catch?

>> No.10960205

IT'S THE SQRT(G^2+F^2) ON THE LINE SEGMENT BETWEEN X AND Z!!!!!!!!!!!!!!!

>> No.10960208

>>10960205
>IT'S THE SQRT(G^2+F^2) ON THE LINE SEGMENT BETWEEN X AND Z!!!!!!!!!!!!!!!
Categories are non-geometric objects.

>> No.10960250
File: 135 KB, 893x674, 1566095182475.jpg [View same] [iqdb] [saucenao] [google]
10960250

>What's the catch?

>> No.10960266

It won't teach you how to grow muscles no matter how hard you try. Could ease your life suffering though.

>> No.10960297
File: 2 KB, 378x133, globular vs simplicial sets.png [View same] [iqdb] [saucenao] [google]
10960297

>>10960208
Spotted the undergrad

>> No.10960326
File: 43 KB, 390x470, 1555985274324.jpg [View same] [iqdb] [saucenao] [google]
10960326

>chanlets talk about category theory but fail their exams at basic algebra in their college.

How does it feel being born stupid. It must be somewhat similar to being drunken? Impaired reasoning, easily arousable, emotional and poor impulse control.

>> No.10960455
File: 25 KB, 401x353, b94b49e58eca5e19629a11ea16b3b2ad.jpg [View same] [iqdb] [saucenao] [google]
10960455

>>10960326
>Projection: The Post

>> No.10960620

I am starting it after Dummit.

>> No.10960655
File: 94 KB, 300x450, 1493310600988.png [View same] [iqdb] [saucenao] [google]
10960655

>>10960208
ACTUALLY
https://ncatlab.org/nlab/show/geometric+realization

>> No.10960711

>>10960071
well if you want to actually apply it to anything you have to make your own algebra.

>> No.10961738
File: 145 KB, 286x200, tenor[1].gif [View same] [iqdb] [saucenao] [google]
10961738

>>10960620
>Foote's fw

>> No.10962128

>>10960071
>What's the catch?
You need functors (and in particular, the pullback definition) before you can speak about subsets. I'd like to see it use and introduced earlier, but it's hard for me to imagine peopole really get a hold on category theory before knowing about modules, ring theory and such examples - and people like physicists often go through their degree without even knowing what a module is.

>> No.10962370
File: 124 KB, 680x680, 135[1].png [View same] [iqdb] [saucenao] [google]
10962370

>>10960326
don't you just love those pure math undergrads that be like "wtf is a group lmao did you mean category with a single object" and then they get their asses completely ravaged by a surface integral

>> No.10962411

>>10962370
there's zero gain in feeling superior of have Schadenfreude about other students of mathematics.

Dare I say,
have sex

>> No.10962432

>>10960071
you have to have autism to completely implement it

>> No.10963014

>>10960071
compsci fag here. I once learned a little about it from 7 Scetches of composability. I spent 2 weeks just doing that and made some progress up to functors, natural isomorphism, adjoints, cartesian categories. Was really interesting, but I am far from putting it into use (which in my case means: writing a dope program with it, understanding some dope new logic in terms of it or formulating some algorithm in terms of it.) I would need more theory (kan extensions, pull back, push outs, and some more) and then some actual practise in formulating shit in it.