EPFLTV - EPFL video portal

YTM 2015: Infinity category theory from scratch, 1st lecture

Source files use different high quality video formats. Click on the help page to get informations concerning adequate media players.
Emily Riehl, Harvard University july 07, 2015 1h5mn32s
We use the terms infinity-categories and infinity-functors to mean the objects and morphisms in an infinity-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of "fibrant objects." Quasi-categories, Segal categories, complete Segal spaces, iterated complete Segal spaces, and fibered versions of each of these are all all infinity-categories in this sense. In joint work with Dominic Verity, we show that the basic category theory of infinity-categories and infinity-functors can be developed only in reference to the axioms of an infinity-cosmos; indeed, most of the work is internal to a strict 2-category of infinity-categories, infinity-functors, and natural transformations. In the infinity-cosmos of quasi-categories, we recapture precisely the same category theory developed by Joyal and Lurie, although in most cases our definitions, which are 2-categorical rather than combinatorial in nature, present a new incarnation of the classical concept. In the first lecture, we define an infinity-cosmos and introduce its homotopy 2-category, the strict 2-category mentioned above. We illustrate the use of formal category theory to develop the basic theory of equivalences of and adjunctions between infinity-categories. Lecture notes available at http://www.math.harvard.edu/~eriehl/
From:Nicolas Peslerbe
Event type:Congress&Conferences
Video type:iPod Mpeg4 video
Video number:2803
URL of this video

Post a comment

Related video

illustration Projects in Visualizing Data 1975-2017 - dec. 15, 2017
illustration Music Semantics: Problems and Prospects - dec. 04, 2017
illustration Visual restoration : validations of the photovoltaic retinal prosthesis and of optogenetic therapy i - nov. 21, 2017
illustration Data art, creating artworks from scientific data? - nov. 13, 2017
illustration NCCR Robotics - Swiss Robotics Industry Day 2017 - nov. 02, 2017
illustration The figure of Network - Peter Baccini - oct. 31, 2017
illustration Soft wearable robots for the community and the home - sep. 26, 2017
illustration Welcome address Andreas Mortensen - june 08, 2017
illustration Jim Larus - june 08, 2017
illustration Sylvain Paris - june 08, 2017
illustration Wenzel Jakob - june 08, 2017
illustration Maneesh Agrawala - june 08, 2017
illustration Cartography - nov. 29, 2016
illustration Pheripheral landscapes - nov. 29, 2016
illustration Represent the civic space - nov. 29, 2016