Related papers: A model-independent Gray tensor product for $(\inf…

Given an arbitrary countably generated rigid C*-tensor category, we construct a fully-faithful bi-involutive strong monoidal functor onto a subcategory of finitely generated projective bimodules over a simple, exact, separable, unital…

We define a cohomology for an arbitrary $K$-linear semistrict semigroupal 2-category $(\mathfrak{C},\otimes)$ (called in the paper a Gray semigroup) and show that its first order (unitary) deformations, up to the suitable notion of…

Given a rigidly-compactly generated tensor-triangulated category whose Balmer spectrum is finite dimensional and Noetherian, we construct a torsion model for it, which is equivalent to the original tensor-triangulated category. The torsion…

We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…

We construct an equivalence between the 2-categories VMonCat of rigid V-monoidal categories for a braided monoidal category V and VModTens of oplax braided functors from V into the Drinfeld centers of ordinary rigid monoidal categories. The…

Let $V$ be a M\"{o}bius vertex algebra and $G$ an abelian group of automorphisms of $V$. We construct $P(z)$-tensor product bifunctors for the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules (without…

The aim of this paper is to introduce a tensor structure for the Serre quotient category of an abelian monoidal category with biexact tensor product to make the canonical functor a monoidal functor. In this tensor product, the Serre…

A classical tensor product $A \,\otimes\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$…

Following the analogy between algebras (monoids) and monoidal categories the construction of nucleus for non-associative algebras is simulated on the categorical level. Nuclei of categories of modules are considered as an example.

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…

We associate a rigid C*-tensor category $C$ to a totally disconnected locally compact group $G$ and a compact open subgroup $K < G$. We characterize when $C$ has the Haagerup property or property (T), and when $C$ is weakly amenable. When…

Two pertinent questions for any support theory of a monoidal triangulated category are whether it is functorial and if the tensor product property holds. To this end, we consider the complete prime spectrum of an essentially small monoidal…

We prove 2-categorical conservativity for any {0,T}-free fragment of MALL over its corresponding intuitionistic version: that is, that the universal map from a closed symmetric monoidal category to the *-autonomous category that it freely…

We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…

It is well-known that the "pre-2-category" $\mathscr{C}at_\mathrm{dg}^\mathrm{coh}(k)$ of small dg categories over a field $k$, with 1-morphisms defined as dg functors, and with 2-morphisms defined as the complexes of coherent natural…

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 study tensor structures on (Rep G)-module categories defined by actions of a compact quantum group G on unital C*-algebras. We show that having a tensor product which defines the module structure is equivalent to enriching the action of…

In [BaSc2] the authors introduced a much weaker homotopical structure than a model category, called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way a model category structure…

The deformation cohomology of a tensor category controls deformations of its monoidal structure. Here we describe the deformation cohomology of tensor categories generated by one object (the so-called Schur-Weyl categories). Using this…

We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…