Visitors from Sheffield

December 3rd, 2005 by Graham

Mike Stannett and Simon Foster visited from Sheffield today, and gave a talk about a new approach to understanding monads. There was also some discussion about co-monads, in particular the stream co-monad.

One Response to “Visitors from Sheffield”

  1. Thorsten Says:

    I gave in to peer pressure too quickly, the way it was suggested to implement cobind for the stream comonad (C X = N \to X) is incorrect, i.e.  f^* g n = f g doesn’t work, because it doesn’t satisfy the law \epsilon^* = 1. The correct version is f^* g 0 = f g and  f^* g (1+ n) = f^* (g \circ 1+) n . This is what I wanted to write…

Leave a Reply