English
Related papers

Related papers: The Gray tensor product for 2-quasi-categories

200 papers

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…

Category Theory · Mathematics 2025-11-19 Nicola Gambino , Richard Garner , Christina Vasilakopoulou

Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the…

Algebraic Geometry · Mathematics 2026-04-08 Slava Pimenov , Angel Toledo

This semi-expository work covers central aspects of the theory of relative tensor products as developed in Higher Algebra, as well as their application to Koszul duality for algebras in monoidal oo-categories. Part of our goal is to expand…

Algebraic Geometry · Mathematics 2026-01-13 Ishai Dan-Cohen , Asaf Horev

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

Representation Theory · Mathematics 2017-10-19 Masaki Kashiwara , Myungho Kim , Se-jin Oh

A. Gray presented an interesting $O\left( n\right) $ invariant decomposition of the covariant derivative of the Ricci tensor. Manifolds whose Ricci tensor satisfies the defining property of each orthogonal class are called Einstein-like…

Differential Geometry · Mathematics 2021-04-27 Hoda K. El-Sayed , Carlo Alberto Mantica , Sameh Shenawy , Noha Syied

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

Representation Theory · Mathematics 2016-10-06 Yang Han , Ningmei Zhang

Motivated by the weighted Hurwitz product on sequences in an algebra, we produce a family of monoidal structures on the category of Joyal species. We suggest a family of tensor products for charades. We begin by seeing weighted derivational…

Category Theory · Mathematics 2016-01-19 Ross Street

For polynomial representations of $GL_n$ of a fixed degree, H. Krause defined a new internal tensor product using the language of strict polynomial functors. We show that over an arbitrary commutative base ring $k$, the Schur functor…

Representation Theory · Mathematics 2016-05-06 Upendra Kulkarni , Shraddha Srivastava , K V Subrahmanyam

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…

Category Theory · Mathematics 2026-02-06 Sebastian Halbig , Tony Zorman

This paper develops a theory of monoidal categories relative to a braided monoidal category, called augmented monoidal categories. For such categories, balanced bimodules are defined using the formalism of balanced functors. The two main…

Quantum Algebra · Mathematics 2023-05-04 Robert Laugwitz

The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…

Representation Theory · Mathematics 2025-10-28 Ioannis Emmanouil , Olympia Talelli

We detail a construction of a symmetric monoidal structure, called the reduced tensor product on the 2-category of braided tensor categories $\mathbf{BTC}(\mathcal{A})$ containing a fixed symmetric fusion subcategory $\mathcal{A}$. The…

Quantum Algebra · Mathematics 2024-04-15 Thomas A. Wasserman

We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the $Hom$-categories, connected components, and simple objects of a 2-Deligne tensor…

Quantum Algebra · Mathematics 2024-01-08 Thibault D. Décoppet

Lack described a Quillen model structure on the category GrayCat of Gray-categories and Gray-functors, for which the weak equivalences are the weak 3-equivalences. In this note, we adapt the technique of Gurski, Johnson, and Osorno to show…

Category Theory · Mathematics 2022-03-09 Giovanni Ferrer

In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal…

Category Theory · Mathematics 2024-03-28 Redi Haderi , Cihan Okay , Walker H. Stern

We found a necessary and sufficient condition for the existence of the tensor product of modules over a vertex algebra. We defined the notion of vertex bilinear map and we provide two algebraic construction of the tensor product, where one…

Quantum Algebra · Mathematics 2016-09-27 Jose I. Liberati

Dimitri Ara's 2-quasi-categories, which are certain presheaves over Andr\'{e} Joyal's 2-cell category $\Theta_2$, are an example of a concrete model that realises the abstract notion of $(\infty,2)$-category. In this paper, we prove that…

Category Theory · Mathematics 2020-03-26 Yuki Maehara

In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…

Algebraic Topology · Mathematics 2023-04-17 Fernando Abellán , Walker H. Stern

We show that the tensor product of two cyclic $A_\infty$-algebras is, in general, not a cyclic $A_\infty$-algebra, but an $A_\infty$-algebra with homotopy inner product. More precisely, we construct an explicit combinatorial diagonal on the…

Algebraic Topology · Mathematics 2012-02-14 Thomas Tradler , Ronald Umble

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

Category Theory · Mathematics 2016-12-20 Marcel Erné , Jorge Picado