相关论文: Lax monoidality for products of enriched higher ca…
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…
We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some…
The goal of this paper is to associate functorially to every symmetric monoidal additive category $\mathbf{A}$ with a strict $G$-action a lax symmetric monoidal functor $\mathbf{V}_{\mathbf{A}}^{G}:G\mathbf{BornCoarse}\to…
We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$,…
Monoidal categories enriched in a braided monoidal category $\mathcal{V}$ are classified by braided oplax monoidal functors from $\mathcal{V}$ to the Drinfeld centers of ordinary monoidal categories. In this article, we prove that this…
We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits…
We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$…
In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…
In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…
We show that the tensor product of $\infty$-categories enriched in a suitable monoidal $\infty$-category preserves colimits in each variable, fixing a mistake in an earlier paper of Gepner and the author. We also prove that essentially…
Let $b$, $b'$ be commutative monoids in a B\'{e}nabou cosmos. Motivated by six-functor formalisms in algebraic geometry, we prove that the category of commutative monoids over $b\otimes b'$ is equivalent to the category of cocontinuous lax…
In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish…
Using the category of finite sets and injections, we construct a new model for the multilinearization of multifunctors between spaces that appears in the derivatives of Goodwillie calculus. We show that this model yields a lax monoidal…
In this paper we introduce a notion of $\mathbf{O}$-monoidal $\infty$-categories for a finite sequence $\mathbf{O}^{\otimes}$ of $\infty$-operads, which is a generalization of the notion of higher monoidal categories in the setting of…
Given a symmetric monoidal $\infty$-category $\mathscr{E}$, compatible with finite colimits, we show that the functor sending a simplicial object in $\mathscr{E}$ to its skeletal filtration is canonically lax symmetric monoidal. This…
We construct an equivalence between the 2-categories VMonCat of rigid V-monoidal categories for a braided monoidal category V and VModTens of oplax braided functors from V into the Drinfeld centers of ordinary rigid monoidal categories. The…
We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored…
Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between…
We verify that Kelly's constructions of the internal Hom for enriched categories extends naturally to lax functors taking their values in a symmetric monoidal category. Our motivation is to set up a `calculus on lax functors' that will host…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…