相关论文: Duals and adjoints in higher Morita categories

We prove a conjecture of Brochier, Jordan, Safronov, and Snyder [BJSS21], first formulated by Lurie [Lur09b], characterizing fully-dualizable and invertible $\mathcal{E}_n$-algebras viewed as objects in the higher Morita categories…

We take another look at the construction of double $\infty$-categories of algebras and bimodules and prove a few supplemental results about these, including a simpler proof of the Segal condition and a comparison between our construction…

We introduce simple models for associative algebras and bimodules in the context of non-symmetric $\infty$-operads, and use these to construct an $(\infty,2)$-category of associative algebras, bimodules, and bimodule homomorphisms in a…

Let G and K be groupoids. We present the notion of a (G_{\alpha},K_{\beta})-set and we prove a duality theorem in this context, which extends the duality theorem for graded algebras by groups. For A a unital G-graded algebra and X a finite…

Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple…

We construct an adjunction between $m$-categories internal to $(\infty,n)$-categories, called $(n,m)$-double $\infty$-categories, and filtrations $A_0\to \dots\to A_m$ where for all $i<m$, $A_i$ is a $(n+i)$-category. We show that this…

We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…

We study the Koszul duality between augmented $E_n$-algebras and augmented $E_n$-coalgebras in a symmetric monoidal stable infinity $1$-category equipped with a filtration in a suitable sense. We obtain that the Koszul duality constructions…

We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their…

The notion of a weak duality involution on a bicategory was recently introduced by Shulman in [arXiv:1606.05058]. We construct a weak duality involution on the fully dualisable part of $\text{Alg}$, the Morita bicategory of…

Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for…

Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…

We prove that for any presentably symmetric monoidal $\infty$-category $\mathcal{V}$, the $\infty$-category $\mathbf{Mod}_\mathcal{V}(\mathbf{Pr}^{\mathrm{L}})^{\mathrm{dbl}}$ of dualizable presentable $\mathcal{V}$-modules and internal…

Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…

We clarify the relationship between Grothendieck duality \`a la Neeman and the Wirthm\"uller isomorphism \`a la Fausk-Hu-May. We exhibit an interesting pattern of symmetry in the existence of adjoint functors between compactly generated…

Let R and S be differential graded algebras. In this paper we give a characterisation of when a differential graded R-S-bimodule M induces a full embedding of derived categories M\otimes - :D(S)--> D(R). In particular, this characterisation…

We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…

We introduce a doubled formalism for the bosonic sector of the maximal supergravities, in which a Hodge dual potential is introduced for each bosonic field (except for the metric). The equations of motion can then be formulated as a twisted…

Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…

In this paper we study dualities for $\mathcal{N}=2$ gauge theories in three dimensions with matter in the fundamental and adjoint representation. The duality we propose, analogous to mirror symmetry, is obtained starting from…