[ 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: 9 KB, 307x251, commute.png [View same] [iqdb] [saucenao] [google]
10589074 No.10589074 [Reply] [Original]

How is category theory used outside pure mathematics and haskell?

>> No.10589080

>how
Is this one of those "zen" riddles

>> No.10589086

It's a step towards HTT, which is useful for computational proof finding.

>> No.10589161

>>10589086
Do you have any references on that?

>> No.10589240

>>10589074
It's a religion, not a serious branch of mathematics.

>> No.10589275

>>10589161
Google Homotopy Type Theory.

>> No.10589280

>>10589275
No. If you can't concisely explain why category theory is useful yourself without dodging the question and saying "look it up," then it is total useless bullshit.

>> No.10589285

>>10589280
>No. If you can't concisely explain why category theory is useful yourself without dodging the question and saying "look it up," then it is total useless bullshit.
If you can't figure it out yourself without being spoonfed, then it doesn't matter whether you think it's useful.

>> No.10589291

>>10589280
You literally asked for a reference lad. There's a book on the subject that should show up as the first result if you google it.

>> No.10589423

>>10589280
>This is the product of American Education

>> No.10589431

>>10589285
>>10589291
>>10589423
>the proof is trivial and left as an exercise to the reader :^)
Oh look, more handwaving.

>> No.10589575

>>10589431
Who are you quoting?

>> No.10589963

>>10589431
Do the fucking proof, asshole