Fine, but dual of a monad has a sort of trivial meaning; like a nicer “run” function. Whereas a continuous relaxation of a discrete optimization problem has semantics which are useful for accelerating an optimization. From: Friam <friam-boun...@redfish.com> On Behalf Of Jon Zingale Sent: Monday, October 25, 2021 8:17 AM To: friam@redfish.com Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
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. * Yes, dual in a technical sense.
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn UTC-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
