Joyal's Categorical HoTT, PDF of slides from a talk given by AndrĂ© Joyal at the MIT Topology Seminar, March 17, 2014.