These links may be helpful:
- Evaluating cellular automata is comonadic. In particular, “whenever you see large datastructures pieced together from lots of small but similar computations there’s a good chance that we’re dealing with a comonad”.
- Sequences, streams, and segments
- Comonads in everyday life