Hi John, I don't know if you're aware, but this lecture doesn't seem to be included on [this page](http://www.azimuthproject.org/azimuth/show/Applied+Category+Theory#Course) yet. I think it's also missing the lecture about free and forgetful functors from chapter 3 (which renumbers everything).