Questions tagged [comonad]
The comonad tag has no usage guidance.
3
questions
7
votes
2answers
822 views
What logic correponds via Curry-Howard to a Monad?
According to Moggi's 1991 paper "Notions of computation and monads" one can represent monadic equational logic with the well known monad $(T, \eta, \mu)$ with T an functor and the two natural ...
4
votes
1answer
368 views
Aren't Monads F-Algebra's? And then if that could be said are Comonad's F-Coalgebra's?
So considering a Monad to be a Triple (T:C -> C, η, µ) with eta and mu as the Natural transformations with appropriate signatures, isn't this in essence an F-Algebra?
My thinking is that being both (...
19
votes
3answers
2k views
Is there a concept of something like co-applicative functors sitting between comonads and functors?
Any monad is also an applicative functor and any applicative functor is a functor. Also, any comonad is a functor. Is there a similar concept between comonads and functors, something like co-...