Related papers: Obstruction sequences to homotopy equivalences

We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…

We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms.…

Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy…

We generalize the operadic approach to algebraic quantum field theory [arXiv:1709.08657] to a broader class of field theories whose observables on a spacetime are algebras over any single-colored operad. A novel feature of our framework is…

In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…

We use homotopy operators for the $L_\infty$-algebra associated with an equivariant deformation problem in order to describe a smooth parametrization of the space of structures around a given one. Along the way we give new algebraic and…

Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…

Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version…

This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy…

We describe algebraic obstruction theories for realizing an abstract coalgebra K_* over the mod p Steenrod algebra as the homology of a topological space, and for distinguishing between the p-homotopy types of different realizations. The…

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…

We survey decades of research identifying the (co)homology of configuration spaces with Lie algebra (co)homology. The different routes to this one proto-theorem offer genuinely different explanations of its truth, and we attempt to convey…

We develop an obstruction theory for the existence and uniqueness of a solution to the gluing problem for a destriction functor and apply it to some well-known biset functors. The obstruction groups for this theory are reduced cohomology…

We introduce a new cohomology theory related to deformations of Lie algebra morphisms. This notion involves simultaneous deformations of two Lie algebras and a homomorphism between them.

In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for…

This paper constructs model structures on the categories of coalgebras and pointed irreducible coalgebras over an operad. The underlying chain-complex is assumed to be unbounded and the results for bounded coalgebras over an operad are…

This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids…

This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this…

We construct an explicit minimal model for an algebra over the cobar-construction of a differential graded operad. The structure maps of this minimal model are expressed in terms of sums over decorated trees. We introduce the appropriate…