Comments on: The Pointed-Set Comonad http://comonad.com/reader/2008/the-pointed-set-comonad/ types, (co)monads, substructural logic Sun, 24 Jan 2010 18:33:30 -0500 http://wordpress.org/?v=2.8.4 hourly 1 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?

]]>