It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 500
- Study Groups 19
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 68
- Azimuth Code Project 110
- Statistical methods 4
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 713

Options

in Chat

Hello all! I'm coming to the course as a non-researcher hobbyist who's been curious about category theory for a while. My undergrad was in computer science with a lot of physics on the side. Several years later I went back to school part time for a master's. I loved being back in absorb-mode, and wound up taking a ton of side classes in physics, math, and the mathy side of electrical engineering.

Category theory was mentioned in passing in a manifolds course, and the idea of meta-math was hugely appealing to my CS sensibilities. Unfortunately I never heard more about it in school, but when I discovered John's older web site it kept my interest going.

I've read a couple of the very introductory category texts, but only at the tourist level (only tackling exercises I could do in my head while reading). Chapter 1 here is the first time adjunctions have made sense to me, so I hope the whole course will be full of revelations like that!

I've recently been curious about treating programs/algorithms as objects that can be manipulated in mathematical ways. I know there's a ton of work out there, and I hope knowing some category theory will allow me to approach that material.

I stumbled on this course while looking online for info on that subject. I'm coming in about 7 weeks late, but I hope to catch up quickly.

hello world×