Related papers: The smash product of monoidal theories
In Homotopy Type Theory, few constructions have proved as troublesome as the smash product. While its definition is just as direct as in classical mathematics, one quickly realises that in order to define and reason about functions over…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
We describe a general framework for notions of commutativity based on enriched category theory. We extend Eilenberg and Kelly's tensor product for categories enriched over a symmetric monoidal base to a tensor product for categories…
We construct a new operation among representations of the symmetric group that interpolates between the classical internal and external products, which are defined in terms of tensor product and induction of representations. Following…
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…
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…
We provide a unified treatment of several commuting tensor products considered in the literature, including the tensor product of enriched categories and the Boardman-Vogt tensor product of operads and symmetric multicategories, subsuming…
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. The titular category has nice formal properties: it is bicomplete and is a symmetric monoidal category, with…
We introduce and study, for a process P delivering edges on the Cartesian product of the vertex sets of a given set of graphs, the P-product of these graphs, thereby generalizing many types of product graph. Analogous to the notion of a…
It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras…
This note is about the smash product of pointed topological spaces, without relying on some convenient subcategory. We deal with its partial associativity properties and their connection with the function spaces, introducing a property of…
It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the…
This is the third part in a series of papers developing a tensor product theory for modules for a vertex operator algebra. The goal of this theory is to construct a ``vertex tensor category'' structure on the category of modules for a…
We define and study a certain relative tensor product of subfactors over a modular tensor category. This gives a relative tensor product of two completely rational heterotic full local conformal nets with trivial superselection structures…
A graded tensor category over a group $G$ will be called a crossed product tensor category if every homogeneous component has at least one multiplicatively invertible object. Our main result is a description of the crossed product tensor…
This article offers an intuitive introduction to monoidal categories through the lens of painting, presenting abstract mathematical concepts with visual and tactile analogies. Aimed at curious undergraduates and non-specialists, it seeks to…
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 --…
The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular…
Let $\mathcal{S}$ be a small category admitting binary products. We show that the whole theory of monoidal $\mathcal{S}$-fibered categories, which is customarily formulated in terms of the usual internal tensor product, can be rephrased…
Here we generalize the concept of spatial tensor product, introduced by Skeide, of two product systems via a pair of normalized units. This new notion is called amalgamated tensor product of product systems, and now the amalgamation can be…