Related papers: Constructing symmetric monoidal bicategories

This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter…

We form tricategories and the homomorphisms between them into a bicategory, whose 2-cells are certain degenerate tritransformations. We then enrich this bicategory into an example of a three-dimensional structure called a locally cubical…

We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We…

In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many…

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

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,…

We study the monoidal structure of the standard strictification functor $\textrm{st}:\mathbf{Bicat} \rightarrow \mathbf{2Cat}$. In doing so, we construct monoidal structures on the 2-category whose objects are bicategories and on the…

We start from any small strict monoidal braided Ab-category and extend it to a monoidal nonstrict braided Ab-category which contains braided bialgebras. The objects of the original category turn out to be modules for these bialgebras

We show how to construct a Gamma-bicategory from a symmetric monoidal bicategory, and use that to show that the classifying space is an infinite loop space upon group completion. We also show a way to relate this construction to the classic…

We introduce a tensor product for symmetric monoidal categories with the following properties. Let SMC denote the 2-category with objects small symmetric monoidal categories, arrows symmetric monoidal functors and 2-cells monoidal natural…

We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…

In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…

We construct model category structures for monoids and modules in symmetric monoidal model categories which satisfy an extra axiom, the monoidal axiom, with applications to symmetric spectra and $\Gamma$-spaces.

Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in…

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…

If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…

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 define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory.

In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…

A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…