Options

The Next Phase of This Course

We're almost done with Chapter 1! image

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!

Comments

  • 1.

    I gather that the Seven Sketches pdf you link to is based on https://arxiv.org/abs/1803.05316 ?

    Comment Source:I gather that the Seven Sketches pdf you link to is based on https://arxiv.org/abs/1803.05316 ?
  • 2.

    @WalterTautz the website for the book is at http://math.mit.edu/~dspivak/teaching/sp18/ where you can find the above link to the latest version of the book published by the authors. Not sure if they keep the arxiv as up to date or not.

    Comment Source:@WalterTautz the website for the book is at http://math.mit.edu/~dspivak/teaching/sp18/ where you can find the above link to the latest version of the book published by the authors. Not sure if they keep the arxiv as up to date or not.
  • 3.
    edited April 16

    The arXiv version of Seven Sketches is not updated as often as the version I linked to, on David's website. So, keep uploading the book from that link if you want all the latest corrections fixing the errors found by the students in this course. Their proof of the Adjoint Functor Theorem for Posets was wrong but now it's correct, etc..

    Comment Source:The arXiv version of _Seven Sketches_ is not updated as often as the version I linked to, on David's website. So, keep uploading the book from that link if you want all the latest corrections fixing the errors found by the students in this course. Their proof of the Adjoint Functor Theorem for Posets was wrong but now it's correct, etc..
  • 4.

    I'm starting to announce some people's self-introductions so that they appear near the top of Recent Discussions. These are people I've already started talking to. Please join these conversations, everyone!

    Comment Source:I'm starting to announce some people's self-introductions so that they appear near the top of [Recent Discussions](https://forum.azimuthproject.org/discussions). These are people I've already started talking to. Please join these conversations, everyone!
Sign In or Register to comment.