Orateur
Éric Hoffbeck
Description
Using two different subcategories A and R of Omega (the category of trees), we first define linear infinity-operads as some presheaves (over A with values in chain complexes) with additional structure maps inducing a "composition up to homotopy"). We then define algebras over such an infinity-operad X as presheaves (over R with values in chain complexes) with structure maps encoding an "action up to homotopy" of X.
We will give some examples and some intuition behind these definitions.
For these operads and algebras, we define generalized bar&cobar constructions and prove they satisfy a Koszul duality.
This is a joint work with Ieke Moerdijk.
