Related papers: The monoidal centre as a limit

A PROB is a "product and braid" category. Such categories can be used to encode the structure borne by an object in a braided monoidal category. In this paper we provide PROBs whose categories of algebras in a braided monoidal category are…

We introduce the notion of 'centre' for pomonoid-graded strong monads which generalizes some previous work that describes the centre of (not graded) strong monads. We show that, whenever the centre exists, this determines a pomonoid-graded…

Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…

We show that the obstruction to the existence of a strict symmetric monoidal structure on a monoidal stack $\cal C$ is determined by a commutator biextension associated to $\cal C$, and that this biextension is alternating under an…

Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…

We consider the tube algebra of a spherical semisimple multitensor category $\mathcal{X}$, and construct a braided monoidal structure with twist for its representations. We further show that this category is braided tensor equivalent with…

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

In this paper, the Drinfeld center of a monoidal category is generalized to a class of mixed Drinfeld centers. This gives a unified picture for the Drinfeld center and a natural Heisenberg analogue. Further, there is an action of the former…

We show that braided, sylleptic and symmetric monoidal bicategories are precisely the $\mathsf{E}_k$-monoids in the cartesian monoidal $(\infty,1)$-category of bicategories for respective integers $k$. To manage the underlying computations,…

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to…

It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this…

This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…

We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, and has the…

We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and…

We prove a coherence theorem for braided monoidal bicategories and relate it to the coherence theorem for monoidal bicategories. We show how coherence for these structures can be interpretted topologically using up-to-homotopy operad…

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 present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples

Central bialgebras in a braided category $\C$ are algebras in the center of the category of coalgebras in $\C$. On these bialgebras another product can be defined, which plays the role of the opposite product. Hence, coquasitriangular…

We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…