Spahn
coalgebra over a comonad

References