| 2 Oct 2019 |
|  @freenode_ChanServ:matrix.org joined the room. | 11:22:44 |
| @freenode_ChanServ:matrix.org left the room. | 11:26:24 |
|  @hoxtrop:matrix.org left the room. | 20:01:26 |
| 3 Oct 2019 |
| ![@freenode_JoelSjgren[m]:matrix.org](./avatar/%40freenode_JoelSjgren%5Bm%5D%3Amatrix.org) @freenode_JoelSjgren[m]:matrix.org left the room. | 05:23:34 |
| 5 Oct 2019 |
 Smooth Manifold | Anyone taken the Applied Category Theory course on MIT's Opencourseware? | 19:54:34 |
| Smooth Manifold | I'm thinking of starting it either tonight or tomorrow | 19:54:41 |
 Tim | is that the one by Fong and Spivak? | 19:54:51 |
| Smooth Manifold | yeah | 19:55:26 |
| Smooth Manifold | my only experience with cat theory is from using haskell and a cursory knowledge of idris | 19:55:43 |
| Smooth Manifold | spivak's other course there about "Cat Theory for Scientists" seemed a bit less well-received as far as i could tell | 19:58:45 |
| Smooth Manifold | im also left wondering if category theory is a field, being new as it is, ripe for further development | 20:12:22 |
| Smooth Manifold | if it's really so useful as i've seen so far i'd like to do research in it as part of my grad degree | 20:12:49 |
| Tim | In reply to @hinsley:matrix.org
spivak's other course there about "Cat Theory for Scientists" seemed a bit less well-received as far as i could tell I think that this course (the ACT one) is based on the book that was based on the notes that that course (Cat Theory for Scientists) was based on | 20:13:58 |
| Tim | either way, I love the ACT book by Fong and Spivak, and I've heard that the course is just as good | 20:14:16 |
| Tim | In reply to @hinsley:matrix.org
im also left wondering if category theory is a field, being new as it is, ripe for further development there is a lot of development left to do in category theory, but also a lot has been done! | 20:14:36 |
| Smooth Manifold | excellent, thanks tim | 20:14:53 |
| Tim | it's really not that modern, as fields go (but, sure, a lot more modern than e.g. complex analysis) | 20:14:54 |
| Smooth Manifold | most of my work as an undergraduate student has been on number theory so i feel like i might enjoy this subject a good bit | 20:16:29 |
| Tim | i'm actually really not sure on the categorical approach to number theory, so can't advise any references on that im afraid | 20:17:05 |
| Tim | (but would love to hear about any, if anybody else knows!) | 20:17:13 |
| Smooth Manifold | nah i just mean | 20:18:36 |
| Smooth Manifold | the predispositions seem to overlap | 20:18:52 |
| Tim | definitely | 20:19:46 |
| Tim | especially when you take the algebraic-geometry approach to number theory | 20:20:00 |
| Smooth Manifold | yes, precisely | 20:26:49 |
| Smooth Manifold | analytic approach is sexy too | 20:27:04 |
| Tim | this is something i know zero about | 20:27:47 |
| Smooth Manifold | riemann! riemann! riemann! | 20:29:53 |
| 6 Oct 2019 |
|  runslick changed their profile picture. | 02:35:46 |
| runslick changed their profile picture. | 02:36:36 |
