Lifting Cauchy modules through Hopf adjunctions in the setting of 2-sided enrichment

Branko Nikolic – 20 September 2017

For a Hopf monoidal comonad T on a cocomplete category V we ask how Cauchy modules in V^T-Mod relate to Cauchy modules in V-Mod. The answer naturally leads to the context of categories enriched on two sides, and we abstract the relevant construction to that level.