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.