[FRIAM] stygmergy, CA's, and [biological] development

Marcus Daniels marcus at snoutfarm.com
Mon Oct 25 11:30:16 EDT 2021


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-bounces at redfish.com> On Behalf Of Jon Zingale
Sent: Monday, October 25, 2021 8:17 AM
To: friam at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20211025/c27fe491/attachment.html>


More information about the Friam mailing list