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 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
illustration Readcube SmartCite demo - nov. 25, 2016
illustration Achtung die Landschaft - nov. 22, 2016
illustration Alpes - nov. 22, 2016
illustration Roland Barthes’ Vivre Ensemble and idiorrythms, conference by Claude Coste - nov. 10, 2016
illustration The project of a "hétérotopologie" - nov. 08, 2016
illustration La città biopolitica - nov. 08, 2016
illustration SI Forum October 2016 - oct. 04, 2016