Related papers: A note on unitizations of generalized effect algeb…
We view the neat reduct operator as a functor that lessens dimensions from CA_{\alpha+\omega} to CA_{\alpha} for infinite ordinals \alpha. We show that this functor has no right adjoint. Conversely for polyadic algebras, and several reducts…
For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove…
In the context of operator-space modules over C*-algebras, we give a complete characterisation of those C*-correspondences whose associated Haagerup tensor product functors admit left adjoints. The characterisation, which builds on previous…
We introduce the notion of a rank function on a $(d+2)$-angulated category $\mathcal{C}$ which generalises the notion of a rank function on a triangulated category. Inspired by work of Chuang and Lazarev, for $d$ an odd positive integer, we…
We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets…
We give many examples of algebraic actions which are factors of Bernoulli shifts. These include certain harmonic models over left orderable groups of large enough growth, as well as algebraic actions associated to certain lopsided elements…
We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…
We study the category of nonsymmetric dg operads valued in strict graded-mixed complexes, equipped with a distinguished arity zero weight one element which generates the weight grading, and whose differential has weight one. We show that…
Exploiting particular features of classical groups, simple constructions are given for the irreducible constituents of the tensor square of the adjoint modules and the leading terms in higher tensor powers. This provides an independent…
We generalize Fomin and Zelevinsky's cluster algebras by allowing exchange polynomials to be arbitrary irreducible polynomials, rather than binomials.
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…
We use categorical annular evaluation to give a uniform construction of both $\mathfrak{sl}_n$ and HOMFLYPT Khovanov-Rozansky link homology, as well as annular versions of these theories. Variations on our construction yield…
Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…
Let $F$ be a totally real field and $\mathscr{E}$ the middle-degree eigenvariety for Hilbert modular forms over $F$, constructed by Bergdall--Hansen. We study the ramification locus of $\mathscr{E}$ in relation to the $p$-adic properties of…
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric…
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is…
We prove that if a right modular groupoid U is cancellative or has a left identity then a right modular generalised inflation of U is an inflation of U.
To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present…
We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset…
We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…