3 ms·

Well, more generally speaking comonads encode costate i.e. context, but I haven’t yet seen them being used represent time. Do you have a link to the paper?

• dustingetz 5y ago
  http://cs.ioc.ee/~tarmo/papers/essence.pdf http://cs.ioc.ee/~tarmo/papers/essence.pdf also it needs to be updated for cofree comonad
  • bradrn 5y ago
    Thank you!