Related papers: Elementary remarks on units in monoidal categories
Given a right adjoint functor between triangulated categories and an object in the target category, we show that the unit map of adjunction on that object is a split monomorphism if and only if the object belongs to the additive closure of…
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 homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…
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…
We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category $\E$ and investigate the properties of the category of Mackey functors on $\E$. We show…
Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying certain universal properties (representability) induces…
It is well known that Barr and Beck's definition of comonadic homology makes sense also with a functor of coefficients taking values in a semi-abelian category instead of an abelian one. The question arises whether such a homology theory…
A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…
We provide various ways to characterise $\Sigma$-pure-injective objects in a compactly generated triangulated category. These characterisations mimic analogous well-known results from the model theory of modules. The proof involves two…
I discuss possible definitions of categories of vector spaces enriched with a notion of formal infinite linear combination in the likes of the formal infinite linear combinations one has in the context of generalized power series, I call…
We provide conditions on a monoidal model category $\mathcal{M}$ so that the category of commutative monoids in $\mathcal{M}$ inherits a model structure from $\mathcal{M}$ in which a map is a weak equivalence or fibration if and only if it…
In these notes we develop some basic theory of idempotents in monoidal categories. We introduce and study the notion of a pair of complementary idempotents in a triangulated monoidal category, as well as more general idempotent…
We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…
A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable…
There are two dual equivalences between the $\infty$-category of $\mathcal{O}$-monoidal $\infty$-categories with right adjoint lax $\mathcal{O}$-monoidal functors and that with left adjoint oplax $\mathcal{O}$-monoidal functors, where…
A multicategory is what remains of a monoidal category when monoidal product is not available. A weak multicategory means that hom-sets are in fact categories, and in place of usual equations, there are natural isomorphisms, which have to…
We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…
Szlach\'anyi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction. We…
We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a…