Related papers: Coproduct idempotent algebras over internal operad…

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic…

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 prove that given $\mathcal{C}$ a presentably symmetric monoidal $\infty$-category, and any essentially small $\infty$-operad $\mathcal{O}$, the $\infty$-category of $\mathcal{O}$-algebras in $\mathcal{C}$ is enriched, tensored and…

The homotopy category of $N_\infty$ operads is equivalent to a finite lattice, and as the ambient group varies, there are various image constructions between these lattices. In this paper, we explain how to lift this algebraic structure…

We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…

Using the description of enriched $\infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $\infty$-operads as certain modules in symmetric sequences. For $\mathbf{V}$ a symmetric monoidal model…

We reformed the tensor product theory of vertex operator algebras developed by Huang and Lepowsky so that we could apply it to all vertex operator algebras satisfying C_2-cofiniteness. We also showed that the tensor product theory develops…

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…

The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all…

We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching…

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,…

To a given multivariable C*-dynamical system $(A, \al)$ consisting of *-automorphisms, we associate a family of operator algebras $\alg(A, \al)$, which includes as specific examples the tensor algebra and the semicrossed product. It is…

Let $P$ be a submonoid of a group $G$ and let $\mathcal{E}=(\mathcal{E}_p)_{p\in P}$ be a product system over $P$ with coefficient C*-algebra $A$. We show that the following C*-algebras are canonically isomorphic: the C*-envelope of the…

We show that an $\infty$-category $\mathcal{M}$ with a closed left action of a monoidal $\infty$-category $\mathcal{V}$ is completely determined by the $\mathcal{V}$-valued graph of morphism objects equipped with the structure of a…

It is easy to find algebras $\mathbb{T}\in\mathcal{C}$ in a finite tensor category $\mathcal{C}$ that naturally come with a lift to a braided commutative algebra $\mathsf{T}\in Z(\mathcal{C})$ in the Drinfeld center of $\mathcal{C}$. In…

This semi-expository work covers central aspects of the theory of relative tensor products as developed in Higher Algebra, as well as their application to Koszul duality for algebras in monoidal oo-categories. Part of our goal is to expand…

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in…

We will show a centrally free action of an amenable rigid C$^*$-tensor category on a properly infinite von Neumann algebra has the Rohlin property. This enables us to prove the fullness of the crossed product of a full factor by minimal…

We show that every action operad gives rise to a notion of monoidal category via the categorical version of the Borel construction, embedding action operads into the category of 2-monads on $\mathbf{Cat}$. We characterize those 2-monads in…

Let $A$ be a commutative algebra in a braided monoidal category $\mathcal{C}$; e.g., $A$ could be an extension of a vertex operator algebra (VOA) $V$ in a category $\mathcal{C}$ of $V$-modules. We study when the category $\mathcal{C}_A$ of…