Related papers: The Lifting Theorem for Multitensors

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other…

In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are…

We provide a proof of the Alpern multi-tower theorem for Z^d actions. We reformulate the theorem as a problem of measurably tiling orbits of a Z^d action by a collection of rectangles whose corresponding sides have no non-trivial common…

We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…

Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…

This is a condensed overview of the formal theory of monads in a 2-category. We also define two double categories of monads in a 2-category, extending Lack and Street's 2-categories of monads.

We deal with the concrete spectral analysis of an invariant magnetic Schr\"odinger operator acting on one dimensional $L^2$-mixed automorphic functions with respect to given equivariant pair $ (\rho,\tau) $ and given discrete subgroup of…

We give a classification of the Harish-Chandra modules generated by the pullback to~$\SL{2}(\RR)$ of \emph{poly}harmonic Maa\ss{} forms for congruence subgroups of~$\SL{2}(\ZZ)$ with exponential growth allowed at the cusps. This extends…

A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…

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…

The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $\lambda$ over such a group as the tensor…

Tropical geometry gives a bound on the ranks of divisors on curves in terms of the combinatorics of the dual graph of a degeneration. We show that for a family of examples, curves realizing this bound might only exist over certain…

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…

We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie. We then introduce a notion of oplax…

We find a covariant completion of the flat-space multi-galileon theory, preserving second-order field equations. We then generalise this to arrive at an enlarged class of second order theories describing multiple scalars and a single…

This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax…

We introduce the notion of a graded integral element, prove the counterpart of the lying-over theorem on commutative algebra in the context of left commutative rngs, and use the Hu-Liu product to select a class of noncommutative rings.

Given a presentably symmetric monoidal $\infty$-category $\mathcal{C}$ and an $\mathbb{E}_{\infty}$-monoid $M$, we introduce and classify twisted graded categories, which generalize the Day convolution structure on $\mathrm{Fun}(M,…

A discussion of the number of degrees of freedom, and their dynamical properties, in higher-derivative gravitational theories is presented. The complete non-linear sigma model for these degrees of freedom is exhibited using the method of…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…