Résumé de la thèse
Cette thèse porte sur la théorie des infinies-opérades, une théorie générale des structures algébriques dans des contextes homotopiques et organisées de façon fonctorielle et cohérente. Notamment, étant donnée une opérade P on étudie l’infinie-catégorie des P- algèbres dans l’infinie-catégorie des espaces topologiques à homotopie près, aussi dits infinies-groupoïdes. Premièrement, on travaille avec la théorie des fibrations à gauche sur une infinie-opérade, en considérant deux problèmes: celui de comparer la notion de fibration à gauche dans le cadre des enveloppes monoïdales symétriques suivant Lurie, et celui des espaces de Segal dendroïdaux. Dans le premier cas, on montre que les approches dendroïdale et de Lurie sont compatibles, à travers une équivalence explicite de Hinich et Moerdijk. Pour la deuxième question, on prouve une version de l’équivalence de rectification, traduisant les fibrations à gauche en termes d’algèbres, via une fibration à gauche opéradique universelle. Dans une suite logique de cet approche, on construit une deuxième équivalence de rectification en termes de catégories de modèles de Quillen. Dans un deuxième temps, on étudie les infinies-opérades à travers le processus de localisation, et on étend au cas opéradique un résultat de rectification non triviale. Notre idée est de généraliser la construction de la categorie des éléments d’un préfaisceu simpliciale, et definir l’opérade des éléments d’un préfaisceu dendroïdale. On montre donc que, comme toute infinie-catégorie est équivalente à la localisation d’une 1-catégorie, toute infinie-opérade est équivalente à la localisation d’une 1-opérade. On obtient ainsi une autre description de l’infinie catégorie des algèbres sur une infinie-opérade.