byorgey.wordpress.com
Themes on Streams, Part II
In a previous post I claimed that comonad structures on R -> a are in one-to-one correspondence with monoid structures on R. In this post and the next I’ll justify that claim.Characterizin…