I’ve been a bit busy and consequently behind on this blog, but I thought I would advertise some notes I wrote, covering chapter 1 of “Higher Topos Theory.” I’m giving a talk on them at a seminar tomorrow, and I wrote them mostly to prepare, but I tried to be detailed.