Eilenberg-Watts calculus for finite categories and a bimodule Radford S4 theorem

We obtain Morita invariant versions of Eilenberg-Watts type the-orems, relating Deligne products of finite linear categories to categories of leftexact as well as of right exact functors. This makes it possible to switch be-tween different functor categories as well as Deligne products, which is oftenvery convenient. For instance, we can show that applying the equivalence fromleft exact to right exact functors to the identity functor, regarded as a left exactfunctor, gives a Nakayama functor. The equivalences of categories we exhibitare compatible with the structure of module categories over finite tensor cat-egories. This leads to a generalization of Radford’sS4-theorem to bimodulecategories. We also explain the relation of our construction to relative Serrefunctors on module categories that are constructed via inner Hom functors.