[ 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

Search:


View post   

>> No.15397963 [View]
File: 73 KB, 596x596, 329C958D-B8FD-4540-AD05-E67706F3F46F.jpg [View same] [iqdb] [saucenao] [google]
15397963

>>15396928
>honestly there's really no reason to just learn foundational set theory anymore. better to get good at algebraic topology and/or geometry, get into categories and then into topos theory and foundations of compute science, its much more fruitful and it's highly active (unlike set theory).

>> No.14819729 [View]
File: 73 KB, 596x596, 0F92A9D7-8DAC-48F2-AE3D-17161E53B530.jpg [View same] [iqdb] [saucenao] [google]
14819729

>>14818910
The Undergrad Category Theorist has always been with us. It’s why we gatekeep.

>> No.14677096 [View]
File: 73 KB, 596x596, 573627F0-C482-458B-BF7D-67BDFA37ED4C.jpg [View same] [iqdb] [saucenao] [google]
14677096

Why are they so attracted to category theory and functional programming languages?

Navigation
View posts[+24][+48][+96]