Related papers: Tensors, monads and actions
We prove a coherence theorem for actions of groups on monoidal categories. As an application we prove coherence for arbitrary braided $G$-crossed categories.
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…
Given a presentably symmetric monoidal $\infty$-category $\mathcal{C}$ and an $\mathbb{E}_{\infty}$-monoid $M$, we introduce and classify twisted graded categories, which generalize the Day convolution structure on $\mathrm{Fun}(M,…
We prove Eilenberg-Watts Theorem for 2-categories of the representation categories $\C\x\Mod$ of finite tensor categories $\C$. For a consequence we obtain that any autoequivalence of $\C\x\Mod$ is given by tensoring with a representative…
Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories…
C*-algebras form a 2-category with \Star{}homomorphisms or correspondences as morphisms and unitary intertwiners as 2-morphisms. We use this structure to define weak actions of 2-categories, weakly equivariant maps between weak actions, and…
This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category C^G of Eilenberg-Moore coalgebras for a monoidal comonad G on C. We apply this to lift star-autonomy with the view to…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
We provide an explicit and elementary construction of the Morita $(\infty,2)$-category of a monoidal category which satisfies minimal conditions. We construct it as a $3$-coskeletal $2$-complicial set, in which the vertices encode the…
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a…
Categorial actions of braided tensor categories are defined and shown to be the right framework for a discussion of the categorial structure related to the group of braids in the cylinder. A Kauffman polynomial of links in the solid torus…
We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural…
We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which…
This paper is about skew monoidal tensored V-categories (= skew monoidal hommed V-actegories) and their categories of modules. A module over <M,*,R> is an algebra for the monad T = R * _ on M. We study in detail the skew monoidal structure…
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
The Eilenberg-Moore constructions and a Beck-type theorem for pairs of monads are described. More specifically, a notion of a {\em Morita context} comprising of two monads, two bialgebra functors and two connecting maps is introduced. It is…
Motivated by viewing categories as bimodule monoids over their isomorphism groupoids, we construct monoidal structures called plethysm products on three levels: that is for bimodules, relative bimodules and factorizable bimodules. For the…
We present some laws relating the $\Cat$-indexed categories of left, right and bi-actions: by defining $(A\comp M)x = Mx^{Ax}$ one gets a biclosed monoidal action of $\Set^{X\op}$ on $(\Set^X)\op$, while $\B X$ and $\Cat/X$ act (partially)…
The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of…