Related papers: The operad that corepresents enrichment

We develop some basic concepts in the theory of higher categories internal to an arbitrary $\infty$-topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yoneda's lemma for internal…

In this paper, we introduce the notion of Grothendieck enriched categories for categories enriched over a sufficiently nice Grothendieck monoidal category $\mathcal{V}$, generalizing the classical notion of Grothendieck categories. Then we…

In this work we provide a definition of a coloured operad as a monoid in some monoidal category, and develop the machinery of Gr\"obner bases for coloured operads. Among the examples for which we show the existance of a quadratic Gr\"obner…

We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify…

In this paper we show that the (un)bounded derived categories$\colon$(i) of the monomorphism category, (ii) of the morphism category and (iii) of the double morphism category, admit a periodic infinite ladder of recollements. These results…

We prove that a lax $\mathbb{E}_{n+1}$-monoidal functor from $\mathcal V$ to $\mathcal W$ induces a lax $\mathbb{E}_n$-monoidal functor from $\mathcal V$-enriched $\infty$-categories to $\mathcal W$-enriched $\infty$-categories in the sense…

We introduce enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…

We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…

We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids -- or in a straightforward generalisation, the…

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the…

We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…

The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise when one drops the uniqueness requirement and asks only for…

In this article, we prove an isomorphism theorem for the case of refinement $\Gamma$-monoids. Based on this we show a version of the well-known Jordan-H\"older theorem in this framework. The main theorem of this article states that - as in…

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…

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality…

The 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception is the case in which V is symmetric, which leads to V-Cat being symmetric as…

Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal…

We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric…