Related papers: Categorifying the algebra of indexing systems

We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and…

We advance the foundational study of be Nardin-Shah's $\infty$-category of $G$-operads and their associated $\infty$-categories of algebras. In particular, we construct the underlying $G$-symmetric sequence of a (one color) $G$-operad,…

We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the…

We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…

We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak…

We study the subcategory of topological operads $P$ such that $P(0) = *$ (the category of unitary operads in our terminology). We use that this category inherits a model structure, like the category of all operads in topological spaces, and…

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…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

We define $N_\infty$-operads in the globally equivariant setting and completely classify them. These global $N_\infty$-operads model intermediate levels of equivariant commutativity in the global world, i. e. in the setting where objects…

The category of differential graded operads is a cofibrantly generated model category and as such inherits simplicial mapping spaces. The vertices of an operad mapping space are just operad morphisms. The 1-simplices represent homotopies…

In arXiv:1712.00555, H. Heine shows that given a symmetric monoidal $\infty$-category $\mathcal{V}$ and a weakly $\mathcal{V}$-enriched monad $T$ over an $\infty$-category $\mathcal{C}$, then there is an induced action of $\mathcal{V}$ on…

This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…

We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$,…

In order to solve two problems in deformation theory, we establish natural structures of homotopy Lie algebras and of homotopy associative algebras on tensor products of algebras of different types and on mapping spaces between coalgebras…

We introduce the wreath product for a class of operadic categories and use it to construct an explicit isomorphism between the Boardman-Vogt tensor product of two colored operads in Set and an operad induced by the wreath product of…

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…

We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…

We explore the interplay between t-structures in the bounded derived category of finitely presented modules and the unbounded derived category of all modules over a coherent ring $A$ using homotopy colimits. More precisely, we show that…

The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to…