Related papers: Strong homotopy properads

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

In this paper, we introduce the notion of strong geometry, a structure composed by both the chirotope of a set of points X in the d-dimensional space and the wedge chirotope which is the specific adjoint chirotope induced by the hyperplanes…

Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum…

Some new results on the module structure of Hopf algebras over a certain class of Hopf subalgebras and right coideal subalgebras are proved.

We present a new and explicit method for lifting a tilting complex to a bimodule complex. The key ingredient of our method is the notion of a strong homotopy action in the sense of Stasheff.

A transduction provides us with a way of using the monadic second-order language of a structure to make statements about a derived structure. Any transduction induces a relation on the set of these structures. This article presents a…

We show that the functor which assigns to an A-infinity morphism between isotopy classes of A-infinity algebras whose linear part is a chain homotopy equivalence its underlying chain map is a discrete Grothendieck bifibration. We then…

Let G be compact Lie group. It is shown that the cotangent bundle of the complexification of G admits a hyperkahler structure which is invariant under left and right translations by elements of G. The proof is to realize the cotangent…

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…

In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…

This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.

I propose a definition of left/right connection along a strong homotopy Lie-Rinehart algebra. This allows me to generalize simultaneously representations up to homotopy of Lie algebroids and actions of strong homotopy Lie algebras on graded…

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…

We provide a complete structure theorem for involutory matrices. This yields a new approach to principal angles between subspaces and provide a series of nice formulae for these angles.

Homotopy coherence has a considerable history, albeit also by other names. For this volume highlighting symmetries, the appropriate use is: Homotopy coherence of representations, at one time known as strong homotopy representations. We…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of…

We study properties of differential graded (dg) operads modulo weak equivalences, that is, modulo the relation given by the existence of a chain of dg operad maps inducing a homology isomorphism. This approach, naturally arising in string…

Explicit constructions for the minimal models of general and unimodular L-infinity algebra structures are given using the BV-formalism of mathematical physics and the perturbative expansions of integrals. In particular, the general formulas…

In this note, we prove an obstruction theorem for the existence of A infinite-structures over a commutative ring R on an algebra A associative up to homotopy, in terms of the Hochschild cohomology of the associative algebra H(A). The hidden…