Questions tagged [comonad]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
73 views

What is this structure? (monad with a kind of partial inverse comonad)

I have encountered a structure that looks like a monad with a one-sided inverse and some additional properties. I am not sure which properties of this structure are essential and which are accidental, ...
AndreA's user avatar
  • 111
10 votes
2 answers
1k 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 ...
Henry Story's user avatar
4 votes
1 answer
424 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 (...
Mzk Levi's user avatar
  • 143
22 votes
3 answers
3k 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-...
Petr's user avatar
  • 2,571