[[Joyal.pdf:file]], PDF of slides from a talk given by André Joyal at the MIT Topology Seminar, March 17, 2014.