Spahn
coalgebra over a comonad (history)

February 16, 2013