<div dir="ltr"><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">Here, I am calculating 1 and 2 dimensional cellular automata as comonadic structures (dual to monadic structures*). Category theory put directly into practice. In particular, it took me some thought to build the notion of fiber and connection between fibers to generalize comonadically to 2D arrays.</div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:verdana,sans-serif;font-size:small;color:#333333">* Yes, dual in a technical sense.</div></div>