It looks like you're new here. If you want to get involved, click one of these buttons!
We're almost done with Chapter 1!
My last lecture on this chapter will be on Wednesday April 18th. We're building up to a big climax here - expect fireworks!
Then I'll be going to Applied Category Theory 2018 from Saturday April 21st to Saturday May 5th. I won't have time to write lectures during this period.
But that may be good, because I bet some of you need time to catch up and think about the material. So instead of more lectures, we'll go through the exercises from Chapter 1.
Some of you have already done a marvelous job of creating discussion threads for all these exercises. So what I'll do is "announce" a few each day or two. That means they'll show up near the top of this list:
During these two weeks, I urge everyone to solve the exercises that haven't been solved yet, critique and improve other people's solutions, help people who are stuck, and so on. By May 5th, I hope a lot of you have gotten up to speed and are ready for Chapter 2!
(But if you haven't, don't worry - take your time.)
In Chapter 2 we'll be getting into more concrete applications of category theory - to resource theories, project planning, and more! I love the abstract concepts of category theory, but I also love seeing them in action. So, this will be fun.
By the way:
If you haven't downloaded a new copy of Seven Sketches this week, please do it now. There's a new version with a lot of mistakes fixed.
You can always find out what's new by clicking "Recent Discussions" on the left of any Azimuth Forum page. That's how to keep up with the course.
You can navigate the course by going to Applied Category Theory on the Azimuth Wiki. This makes it easy to get to all the lectures, all the exercises, etc. (We're still building this page, and we could use your help: that's why it's a wiki.)
I still haven't said hello to everyone in the course. It's tons of fun to read your introductions in the "Chat" section and meet people from all walks of life from all around the world. But it takes time! So, I urge everyone to pick somebody's self-introduction that hasn't gotten any replies yet, and ask them some questions about what they're doing. Studies have shown that people are scared to talk to other people on a train or bus but are happier when they do!