Related papers: The Lifting Theorem for Multitensors
In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
We define and study a lift of the Boardman-Vogt tensor product of operads to bimodules over operads.
Monads play an important role in both the syntax and semantics of modern functional programming languages. The problem of combining them has been of profound interest at least since the 90s, and different approaches have been employed to…
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…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
We prove a converse theorem for the multiplicative Borcherds lift for lattices of square-free level whose associated discriminant group is anisotropic. This can be seen as generalization of Bruinier's results in \cite{Br2}, which provides a…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
We establish a new converse theorem for Borcherds products. Moreover, the injectivity of the Kudla-Millson theta lift is demonstrated in the O$(n,2)$ case in greater generality than is currently available in the literature. Both results are…
We present a special class of examples of automorphic lifts of multiple tensor products of automorphic representations, motivated by combinatorial identities for Schur polynomials and a celebrated result of Newton and Thorne.
By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras…
The theory of derivators enhances and simplifies the theory of triangulated categories. In this article a notion of fibered (multi-)derivator is developed, which similarly enhances fibrations of (monoidal) triangulated categories. We…
We construct in a unifying way skew-multicategories and multicategories of double and Gray-categories that we call Gray (skew) multicategories. We study their different versions depending on the types of functors and higher transforms. We…
A graded tensor category over a group $G$ will be called a strongly $G$-graded tensor category if every homogeneous component has at least one multiplicativily invertible object. Our main result is a description of the module categories…
We give a definition of weak morphism of $T$-algebras, for a $2$-monad $T$, with respect to an arbitrary family $\Omega$ of $2$-cells of the base $2$-category. By considering particular choices of $\Omega$, we recover the concepts of lax,…
We deal with a Lie group G acting by isometries on a Riemannian manifold M, such that the quotient M/G is an orbifold, or, equivalently, all slice representations are polar. We show that any smooth orbifold symmetric 2-tensor on M/G lifts…
An action of the $\mathfrak{sl}_2$-crystal category on graded/mixed (integral) category $\mathcal{O}$ `lifting' the usual tensor product is defined.
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 paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our…
The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category…