Convolution is a comonad. http://kukuruku.co/hub/haskell/cellular-automata-using-comon...

I love it when there's a nugget of rigor behind things like this that can be pulled out and applied elsewhere!