Related papers: Operadic categories and Duoidal Deligne's conjectu…
We give an explicit construction of the free monoid in monoidal abelian categories when the monoidal product does not necessarily preserve coproducts. We apply it to several new monoidal categories that appeared recently in the theory of…
We introduce two families of diagrammatic monoidal supercategories. The first family, depending on an associative superalgebra, generalizes the oriented Brauer category. The second, depending on an involutive superalgebra, generalizes the…
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.
Using the combinatorial species setting, we propose two new operad structures on multigraphs and on pointed oriented multigraphs. The former can be considered as a canonical operad on multigraphs, directly generalizing the…
We introduce a systematic method for constructing set-theoretic operads via iterated application of the power set functor, and use it to uncover a hierarchy connecting several classical operads. Starting from the permutative operad, the…
In this article, we describe how coalgebraic structures on operads induce algebraic structures on their categories of algebras and coalgebras.
Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…
We show that every braiding on a monoidal bicategory induces a monoidal structure on its bicategory of monoids, such that if the former is sylleptic or symmetric then the latter is braided or symmetric, respectively. This extends a classic…
This is the second part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part II), we develop logarithmic formal…
It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for…
This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen…
We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category…
We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is…
In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…
We prove the conjectures on dimensions and characters of some quadratic algebras stated by B$.$L$.$Feigin. It turns out that these algebras are naturally isomorphic to the duals of the components of the bihamiltonian operad.
Given a morphism between complex projective varieties, we make several conjectures on the relations between the set of pseudo-effective (co)homology classes which are annihilated by pushforward and the set of classes of varieties contracted…
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.…
This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads,…
We construct a map of operads from an $E_2$-operad to the condensation of the operad for multiplicative hyperoperads. We deduce from it the existence of an $E_2$-action on the homotopy limit of the underlying functor of a multiplicative…
Dendroidal sets offer a formalism for the study of $\infty$-operads akin to the formalism of $\infty$-categories by means of simplicial sets. We present here an account of the current state of the theory while placing it in the context of…