Comments on: The Pointed-Set Comonad http://comonad.com/reader/2008/the-pointed-set-comonad/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 By: anonymous http://comonad.com/reader/2008/the-pointed-set-comonad/comment-page-1/#comment-101828 anonymous Wed, 22 Feb 2012 20:02:18 +0000 http://comonad.com/reader/2008/the-pointed-set-comonad/#comment-101828 Anything with mzero (or empty) cannot be a comonad, as far as I can tell; extract and mzero are mutually exclusive. Anything with mzero (or empty) cannot be a comonad, as far as I can tell; extract and mzero are mutually exclusive.

]]> By: Edward Kmett http://comonad.com/reader/2008/the-pointed-set-comonad/comment-page-1/#comment-5484 Edward Kmett Mon, 12 Jan 2009 15:04:46 +0000 http://comonad.com/reader/2008/the-pointed-set-comonad/#comment-5484 Do you mean that have no return, just bind? Monads without mzero are er.. just monads. ;) Do you mean that have no return, just bind? Monads without mzero are er.. just monads. ;)

]]> By: BMeph http://comonad.com/reader/2008/the-pointed-set-comonad/comment-page-1/#comment-5481 BMeph Mon, 12 Jan 2009 09:40:44 +0000 http://comonad.com/reader/2008/the-pointed-set-comonad/#comment-5481 Sorry for asking this so late after your writing, but I have been looking at a lot of info that I should have learned in my mid-twenties - plus, I'm slow ;) Anyway, I was wondering if you know of a class of objects categories that work like monads, but have no "zero" (a la MonadZero in Haskell), and seem to work just fine as comonads - in fact they are comonads? Sorry for asking this so late after your writing, but I have been looking at a lot of info that I should have learned in my mid-twenties – plus, I’m slow ;)

Anyway, I was wondering if you know of a class of objects categories that work like monads, but have no “zero” (a la MonadZero in Haskell), and seem to work just fine as comonads – in fact they are comonads?

]]>