Related papers: Truncated operads and simplicial spaces

We show that the Kontsevich operad, as an operad with multiplication, provides a model for the Taylor tower of the functor defined by taking the homotopy fiber of the inclusion of embeddings of an interval in a cube to the corresponding…

We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…

Several topological and homological operads based on families of projectively weighted arcs in bounded surfaces are introduced and studied. The spaces underlying the basic operad are identified with open subsets of a compactification due to…

Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…

We consider the bar complex of a monomial non-unital associative algebra $A=k \langle X \rangle / (w_1,...,w_t)$. It splits as a direct sum of complexes $B_w$, defined for any fixed monomial $w=x_1...x_n \in A$. We give a simple argument,…

We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and…

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality…

We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…

We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced.

We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which…

We prove that for a topological operad $P$ the operad of oriented cubical chains, $C^{ord}_\ast(P)$, and the operad of singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{ord}_\ast(P;\mathbb{Q})$ is formal if and only…

We prove that, under certain conditions, the model structure on a monoidal model category $\mathcal{V}$ can be transferred to a model structure on the category of $\mathcal{V}$-enriched coloured (symmetric) operads. As a particular case we…

We make use of the cotangent complex formalism developed by Lurie to formulate Quillen cohomology of algebras over an enriched operad. Additionally, we introduce a spectral Hochschild cohomology theory for enriched operads and algebras over…

We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…

In homotopy type theory, the truncation operator ||-||n (for a number n > -2) is often useful if one does not care about the higher structure of a type and wants to avoid coherence problems. However, its elimination principle only allows to…

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal…

In this work we provide a definition of a coloured operad as a monoid in some monoidal category, and develop the machinery of Gr\"obner bases for coloured operads. Among the examples for which we show the existance of a quadratic Gr\"obner…

We show that normalized cacti form an $\infty$-operad in the form of a dendroidal space satisfying a weak Segal condition. To do this, we introduce a new topological operad of bracketed trees and an enrichment of the dendroidal category…