Comments on: Deriving Strength from Laziness http://comonad.com/reader/2008/deriving-strength-from-laziness/ types, (co)monads, substructural logic Wed, 28 Jul 2010 13:34:03 -0400 http://wordpress.org/?v=2.8.4 hourly 1 By: The Comonad.Reader » Elgot (Co)Algebras http://comonad.com/reader/2008/deriving-strength-from-laziness/comment-page-1/#comment-1388 The Comonad.Reader » Elgot (Co)Algebras Tue, 20 May 2008 02:37:53 +0000 http://comonad.com/reader/2008/deriving-strength-from-laziness/#comment-1388 [...] So can we convert between an apomorphism and an Elgot algebra? For a somewhat circuitous path to that answer lets recall the definition of strength from my post a couple of weeks ago. Flipping the arguments and direction of application for strength to simplify what is coming we get: [...] [...] So can we convert between an apomorphism and an Elgot algebra? For a somewhat circuitous path to that answer lets recall the definition of strength from my post a couple of weeks ago. Flipping the arguments and direction of application for strength to simplify what is coming we get: [...]

]]> By: Edward Kmett http://comonad.com/reader/2008/deriving-strength-from-laziness/comment-page-1/#comment-1376 Edward Kmett Mon, 19 May 2008 04:33:49 +0000 http://comonad.com/reader/2008/deriving-strength-from-laziness/#comment-1376 A follow-up in case anyone cares about this stuff. A lot can be said about "the meaning of strength:" http://pages.cpsc.ucalgary.ca/~robin/Theses/Strength.ps.gz A follow-up in case anyone cares about this stuff. A lot can be said about “the meaning of strength:”

http://pages.cpsc.ucalgary.ca/~robin/Theses/Strength.ps.gz

]]> By: The Comonad.Reader » Zipping and Unzipping Functors http://comonad.com/reader/2008/deriving-strength-from-laziness/comment-page-1/#comment-1153 The Comonad.Reader » Zipping and Unzipping Functors Mon, 05 May 2008 03:01:06 +0000 http://comonad.com/reader/2008/deriving-strength-from-laziness/#comment-1153 [...] Kefer asked a question in the comments of my post about (co)monadic (co)strength about Uustalu and Vene's ComonadZip class from p157 of The Essence of Dataflow Programming. The class in question is: [...] [...] Kefer asked a question in the comments of my post about (co)monadic (co)strength about Uustalu and Vene’s ComonadZip class from p157 of The Essence of Dataflow Programming. The class in question is: [...]

]]> By: Kefer http://comonad.com/reader/2008/deriving-strength-from-laziness/comment-page-1/#comment-1097 Kefer Thu, 01 May 2008 09:36:50 +0000 http://comonad.com/reader/2008/deriving-strength-from-laziness/#comment-1097 One of the Estonians' comonadic papers talk about zippability: w a -> w b -> w (a,b). I definitely like to know what you thought about that concept and its dual, if any. One of the Estonians’ comonadic papers talk about zippability: w a -> w b -> w (a,b).

I definitely like to know what you thought about that concept and its dual, if any.

]]>