Related papers: Categorifying the algebra of indexing systems

We show that topological Quillen homology of algebras and modules over operads in symmetric spectra can be calculated by realizations of simplicial bar constructions. Working with several model category structures, we give a homotopical…

Let P be a quadratic operad. We determine an associated operad ~P such that for any P-algebra A and any ~P-algebra B then the tensor product $A \otimes B$ is a P-algebra.

Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…

The notion of a coherent unit action on algebraic operads was first introduced by Loday for binary quadratic nonsymmetric operads and generalized by Holtkamp, to ensure that the free objects of the operads carry a Hopf algebra structure.…

We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main…

Given $f: M \to N$ a homotopy equivalence of compact manifolds with boundary, we use a construction of Geoghegan and Nicas to define its Reidemeister trace $[T] \in \pi_1^{st}(\mathcal{L} N, N)$. We realize the Goresky-Hingston coproduct as…

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

We prove a connectivity bound for maps of $\infty$-operads of the form $\mathbb{A}_{k_1} \otimes \cdots \otimes \mathbb{A}_{k_n} \to \mathbb{E}_n$, and as a consequence, give an inductive way to construct $\mathbb{E}_n$-algebras in…

We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…

Let $\mathcal{O}^{\otimes}$ and $\mathcal{P}^{\otimes}$ be $k$- and $\ell$-connected unital $G$-operads subject to the condition for all $S$ that $\mathcal{O}(S) = \emptyset$ if and only if $\mathcal{P}(S) = \emptyset$. We show that the…

We provide a unified treatment of several commuting tensor products considered in the literature, including the tensor product of enriched categories and the Boardman-Vogt tensor product of operads and symmetric multicategories, subsuming…

We define a graded twisted-coassociative coproduct on the tensor algebra $TW$ of any $\Z^n$-graded vector space $W$. If $W$ is the desuspension space $\da V$ of a graded vector space $V$, the coderivations (resp. quadratic ``degree 1''…

This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the subset and partition lattices of a finite set, and whose elements are pairs consisting of a subset and a…

This is the fourth part of a series of papers developing a tensor product theory of modules for a vertex operator algebra. In this paper, We establish the associativity of $P(z)$-tensor products for nonzero complex numbers $z$ constructed…

We reformulate entanglement wedge reconstruction in the language of operator-algebra quantum error correction with infinite-dimensional physical and code Hilbert spaces. Von Neumann algebras are used to characterize observables in a…

We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented…

Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…

In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into…

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally,…

Let $\mathbf D$ be the set of isomorphism types of finite double partially ordered sets, that is sets endowed with two partial orders. On $\BZ\mathbf D$ we define a product and a coproduct, together with an internal product, that is,…