Random state comonads encode cellular automata evaluation. - Madalina I. Sas; Julian H. J. Sutherland (CoRR, 2025)