Related papers: The Gray tensor product via factorisation

We construct an $(\infty,2)$-version of the (lax) Gray tensor product. On the 1-categorical level, this is a binary (or more generally an $n$-ary) functor on the category of $\Theta_2$-sets, and it is shown to be left Quillen with respect…

We construct a (lax) Gray tensor product of $(\infty,2)$-categories and characterize it via a model-independent universal property. Namely, it is the unique monoidal biclosed structure on the $\infty$-category of $(\infty,2)$-categories…

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…

The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$…

The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely…

The category of small 2-categories has two monoidal structures due to John Gray: one biclosed and one closed. We propose a formalisation of the construction of the right internal and internal homs of these monoidal structures.

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

We introduce the notion of quantum duplicates of an (associative, unital) algebra, motivated by the problem of constructing toy-models for quantizations of certain configuration spaces in quantum mechanics. The proposed (algebraic) model…

We study generating functions of ordinary and plane partitions coloured by the action of a finite subgroup of the corresponding special linear group. After reviewing known results for the case of ordinary partitions, we formulate a…

We continue to develop the theory of monads and multitensors. The central result of this paper - the lifting theorem for multitensors - enables us to see the Gray tensor product of 2-categories and the Crans tensor product of Gray…

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product of 2-categories. In this paper we continue the developments of [3] and [2] by understanding the…

We investigate tensor products of matrix factorisations. This is most naturally done by formulating matrix factorisations in terms of bimodules instead of modules. If the underlying ring is C[x_1,...,x_N] we show that bimodule matrix…

In this note, we leverage the author's pasting theorem for $(\infty,n)$-categories to construct new models of $(\infty,n)$-categories for all $n \leq \infty$, as presheaves on certain categories of computads. Among these new models are some…

Consider a pair of elements $f$ and $g$ in a commutative ring $Q$. Given a matrix factorization of $f$ and another of $g$, the tensor product of matrix factorizations, which was first introduced by Kn\"orrer and later generalized by…

We construct a tensor product on Freyd's universal abelian category attached to an additive tensor category or a tensor quiver and establish a universal property. This is used to give an alternative construction for the tensor product on…

The tensor product of props was defined by Hackney and Robertson as an extension of the Boardman-Vogt product of operads to more general monoidal theories. Theories that factor as tensor products include the theory of commutative monoids…

We define the twisted tensor product of two enriched categories, which generalizes various sorts of `products' of algebraic structures, including the bicrossed product of groups, the twisted tensor product of (co)algebras and the double…

For each $n \in \mathbb{N} \cup \{\infty\}$, diagrammatic sets admit a model structure whose fibrant objects are the diagrammatic $(\infty, n)$- categories. They also support a notion of Gray product given by the Day convolution of a…

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…