Le sujet de cette thèse est la théorie des opérades. Une opérande est utilisée pour encoder des collections d’opérations. Une opérade P est associée à une catégorie d’algèbres, qui est gouvernée par une monade, dénotée par S(P,-). Nous avons des variantes de cette monade, dénotées par Λ(P,-) et Γ(P,-), ce qui nous donne de nouvelles catégories d’algèbres associée à P. Nous étudions les monades Λ(PreLie,-) et Γ(P,-), associées à une opérande particulière PreLie, dont la structure reflets la définition classique des crochets de Lie par la symétrisation des opérations. Nous montrons que la catégorie des algèbres Λ(PreLie,-) est isomorphe à la catégorie des algèbres pré-Lie p-restreintes. Nous donnons ensuite une présentation de la structure d’une algèbre sur la monade Γ(PreLie,-). Nous expliquons comment définir une généralisation appropriée de la notion d’une opérade dans la seconde partie de la thèse. Premièrement, nous expliquons la définition d’une catégorie de foncteurs cohomologiques de Mackey sur une catégorie des partitions HParn. Nous prouvons que cette catégorie de foncteurs de HParn-Mackey cohomologiques est équivalent à la catégorie de Suslin-Friedlander des foncteurs polynomiaux strictes de degré n. Nous comptons sur ce résultat pour définir une catégorie de M-modules correspondant aux foncteurs analytiques. Nous prouvons que la catégorie des M-modules forme une catégorie monoïdale équivalente à celle des foncteurs analytiques avec la composition des foncteurs comme structure monoïdale. Nous utilisons ce résultat pour prouver que la catégorie des monades analytiques est équivalente à une catégorie d’opérades généralisées dans les M-modules. / The subject of this thesis is the theory of operads. An operad is used to encode collections of operations. An operad P is associated to a category of algebras, which is governed by a monad, denoted by S(P,-). We have variants of this monad, denoted by Λ(P,-) and Γ(P,-), which give new categories of algebras associated to P. We study the monads Λ(PreLie,-) and Γ(PreLie,-) associated to a particular operad PreLie, whose structure reflects the classical definition of Lie brackets by the symmetrization of operations in the field of differential geometry. We show that the category of Λ(PreLie,-) algebras is isomorphic to the category of p-restricted pre-Lie algebras. Then we give a presentation of the structure of an algebra over the monad Γ(PreLie,-). We explain how to define a suitable generalisation of the notion of an operad in the second part of the thesis. In a first step we explain the definition of a category of cohomological Mackey functors on a category of partitions HParn. We prove that this category of cohomological HParn-Mackey functors is equivalent to the Suslin-Friedlander category of strict polynomial functors of degree n. We rely on this result to define a category of M-modules corresponding to analytic functors. We prove that the category of M-modules forms a monoidal category equivalent to the category of analytic functors with the composition of functors as monoidal structure. We use this result to prove that the category of analytic monads is equivalent to a category of generalized operads in M-modules.
| Identifer | oai:union.ndltd.org:theses.fr/2016LIL10026 |
| Date | 13 May 2016 |
| Creators | Cesaro, Andrea |
| Contributors | Lille 1, Fresse, Benoît, Vespa, Christine |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | English |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0016 seconds