EPFLTV - Portail video de l'EPFL

YTM 2015: Introduction à la théorie des catégories infinies, 1er cours

<a href="http://www.macromedia.com/go/getflashplayer">Cliquer ici pour installer le lecteur</a>
Cliquez sur la flèche pour le plein écran - ESC pour sortir (sauf Linux)
Emily Riehl, Harvard University 07 juil. 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/
Par:Nicolas Peslerbe
Type de l'événement:Congrés&Conférences
Format Vidéo:Flash HD video
Numéro de la vidéo:2803
Intégrer cette vidéo sur votre site:
URL de cette vidéo

Poster un commentaire

Entrées similaires

illustration Introduction - 22 oct. 2018
illustration 02_Key note speech of EERA - 22 oct. 2018
illustration 3_Key note speech ElCom - 22 oct. 2018
illustration 4_Swissgrid - 22 oct. 2018
illustration 5_EPFL-PWRS-Ancillary Services - 22 oct. 2018
illustration 6_HES-SO-FR-Ancillary services - 22 oct. 2018
illustration 7_BFH-PVLab-PV-storage measuring norms - 22 oct. 2018
illustration 10a_Pitch_CSEM - 22 oct. 2018
illustration 10b_Pitch_ZHAW - 22 oct. 2018
illustration 10c_Pitch_EPFL-DESL and EPFL-LCA2 - 22 oct. 2018
illustration 10d_Pitch_EPFL-PVLab - 22 oct. 2018
illustration 10e_Pitch_HES-SO FR - 22 oct. 2018
illustration 10f_Pitch_BFH-PVLab - 22 oct. 2018
illustration 10g_Pitch_ETHZ-IKG - 22 oct. 2018
illustration 8_BFH-PVLab-Energy strategy Burgdorf - 22 oct. 2018