Eilenberg-Watts calculus for finite categories and a bimodule Radford $S^4$ theorem

Abstract

We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different functor categories as well as Deligne products, which is often very convenient. For instance, we can show that applying the equivalence from left exact to right exact functors to the identity functor, regarded as a left exact functor, gives a Nakayama functor. The equivalences of categories we exhibit are compatible with the structure of module categories over finite tensor categories. This leads to a generalization of Radford's $S^4$-theorem to bimodule categories. We also explain the relation of our construction to relative Serre functors on module categories that are constructed via inner Hom functors.

41 pages. Typos corrected, literature updated, several minor additions

Cited by in corpus (8)

• The logarithmic Cardy case: Boundary states and annuli
• Bulk from boundary in finite CFT by means of pivotal module categories
• Extended Functorial Field Theories and Anomalies in Quantum Field Theories
• Modified traces and the Nakayama functor
• Further results on the structure of (co)ends in finite tensor categories
• Nakayama functors for coalgebras and their applications to Frobenius tensor categories
• The limit empirical spectral distribution of Gaussian monic complex matrix polynomials
• Analytic Conformal Blocks of $C_2$-cofinite Vertex Operator Algebras III: The Sewing-Factorization Theorems