Related papers: The Strict 2-Category Structure of Distorted Monoi…

The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schw\"anzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still…

Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, defining weak functors and transformations. We exhibit a…

We consider algebras and Frobenius algebras, internal to a monoidal category, that are graded over a finite abelian group. For the case that A is a twisted group algebra in a linear abelian monoidal category we obtain a graded…

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

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…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

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…

In arXiv:2211.04917, it was shown that, over an algebraically closed field of characteristic zero, every fusion 2-category is Morita equivalent to a connected fusion 2-category, that is, one arising from a braided fusion 1-category. This…

We prove that the Drinfeld center of a fusion 2-category is invariant under Morita equivalence. We go on to show that the concept of Morita equivalence between connected fusion 2-categories recovers exactly the notion of Witt equivalence…

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

We collate information about the fusion categories with $A_n$ fusion rules. This note includes the classification of these categories, a realisation via the Temperley-Lieb categories, the auto-equivalence groups (both braided and tensor),…

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 show that contrary to common belief in the DisCoCat community, a monoidal category is all that is needed to define a categorical compositional model of natural language. This relies on a construction which freely adds adjoints to a…

Let G be a reductive connected group over an algebraic closure of a finite field. I define a tensor structure on the category of perverse sheaves on G which are direct sums of unipotent character sheaves in a fixed two-sided cell, in…

A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…

The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous…

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…