Comments on: Deriving Strength from Laziness http://comonad.com/reader/2008/deriving-strength-from-laziness/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 By: Edward Kmett http://comonad.com/reader/2008/deriving-strength-from-laziness/comment-page-1/#comment-51571 Edward Kmett Sun, 01 May 2011 08:31:26 +0000 http://comonad.com/reader/2008/deriving-strength-from-laziness/#comment-51571 BMeph: 1.) nah, the costrength used here was derived from relaxing the notion from a comonad to a functor in the same way that strength was weakened from mstrength. 2.) Even with some random Monoid constraint on e it wouldn't give you the power to enumerate all possible values of e, to complete the costrength. BMeph: 1.) nah, the costrength used here was derived from relaxing the notion from a comonad to a functor in the same way that strength was weakened from mstrength.

2.) Even with some random Monoid constraint on e it wouldn’t give you the power to enumerate all possible values of e, to complete the costrength.

]]> By: BMeph http://comonad.com/reader/2008/deriving-strength-from-laziness/comment-page-1/#comment-51521 BMeph Sun, 01 May 2011 02:28:16 +0000 http://comonad.com/reader/2008/deriving-strength-from-laziness/#comment-51521 Sorry to only be responding to this three years later, but: 1) Shouldn't the costrength case have the added constraint (Monoid e), if only for conformity to its Comonadic form? 2) Is there a way we can exploit the (Monoid e) constraint to give us a meaningful result for costrength? Sorry to only be responding to this three years later, but:
1) Shouldn’t the costrength case have the added constraint (Monoid e), if only for conformity to its Comonadic form?
2) Is there a way we can exploit the (Monoid e) constraint to give us a meaningful result for costrength?

]]> 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.

]]>