2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/115328We introduce the category of bicomodules for a comonad in a Grothendieck category whose underlying functor is right exact and preserves direct sums. We characterize comonads with a separable forgetful functor by means of cohomology groups using cointegrations into bicomodules. We present two applications: the characterization of coseparable corings stated in [11], and the characterization of coseparable coalgebras coextensions stated in [16].Rings and Algebras16W30, 16D20text