Raising Cauchy through a comonadic base change

Ross Street – 9 August 2017

(with Branko Nikolic). If D is a monoidal comonad on a cocomplete monoidal category V and W is the monoidal category of Eilenberg-Moore D-coalgebras, we look at the connection between Cauchy W-modules and Cauchy V-modules. The best result comes when D is colimit preserving and Hopf. We look at some examples.