Locally Cartesian Closed Infinity Categories Date February 21, 2013 Speakers Joachim Kock Affiliation Universitat Autonoma de Barcelona School of Mathematics Univalent