"And I even know David Spivak, and know some of his work with Brendan Fong."
Cool. He and I knew each other briefly when he was at the University of
Oregon. Around the time David was learning topos theory, he, my buddy Ralf
(who was in the math grad program there at the time) and I worked through
It some searching, but I found the paper where I first got a sense about
operads. I hope that you also find it useful:
https://arxiv.org/pdf/1806.08304.pdf
In particular, at the top of page 4 are a collection of diagrams
depicting composition in categories, monoidal categories, traced monoidal
cat
Cool. It seems that some of the work on the connection between bond graphs
and operads was fleshed out by Coya, here:
"Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective"
https://arxiv.org/pdf/1805.08290.pdf
supported by work, here:
"A Compositional Framework for Bond Gra
"""
There is a formalism for discrete-event dynamical systems known as
“bond graphs”.
"""
>From a brief survey of the wikipedia entry:
https://en.wikipedia.org/wiki/Bond_graph
I see one of the advantages of bond graphs over traditional
hypergraphs is the bi-directional nature of the linkages. H
: Re: [FRIAM] stygmergy, CA's, and [biological] development
"""
An example of what Marcus is saying is that using the category definition
of duality you can show that the dual space of the dual space is (is
isomorphic to) the original space. That's easy to show with
"""
An example of what Marcus is saying is that using the category definition
of duality you can show that the dual space of the dual space is (is
isomorphic to) the original space. That's easy to show without the added
generality.
"""
Except for when that isn't true. Consider non-finite dimens
Sent:* Monday, October 25, 2021 8:52 AM
>> *To:* The Friday Morning Applied Complexity Coffee Group <
>> friam@redfish.com>
>> *Subject:* Re: [FRIAM] stygmergy, CA's, and [biological] development
>>
>>
>>
>> Aha! I think the exercise here was to
There is a formalism for discrete-event dynamical systems known as “bond
graphs”. I haven’t read much about it, but Alan Perelson did some work on this
when he was young and not famous.
Bond graphs seem to be a slightly more flexible construction than hypergraphs,
and they contain a subset tha
nday, October 25, 2021 1:00 PM
To: The Friday Morning Applied Complexity Coffee Group
mailto:friam@redfish.com>>
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
Who cares what lurks in the hearts of men? Certainly not the behaviorist!
From: Friam mailto:fri
Sent: Monday, October 25, 2021 1:00 PM
To: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
Who cares what lurks in the hearts of men? Certainly not the behaviorist!
From: Friam mailto:friam-boun...@redfish.com
Who cares what lurks in the hearts of men? Certainly not the behaviorist!
From: Friam On Behalf Of thompnicks...@gmail.com
Sent: Monday, October 25, 2021 11:56 AM
To: 'The Friday Morning Applied Complexity Coffee Group'
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] de
Monday, October 25, 2021 10:52 AM
To: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
I did not bully you, Jon. I asked you some questions whose answers I really
don't know.
In a good world those questions might
Thanks, Jon. I will read that catlab post.
---
Frank C. Wimberly
140 Calle Ojo Feliz,
Santa Fe, NM 87505
505 670-9918
Santa Fe, NM
On Mon, Oct 25, 2021, 11:35 AM Jon Zingale wrote:
> Thanks for understanding, Frank. Yes, the duality of vector spaces arises
> as a particular instance with perf
Thanks for understanding, Frank. Yes, the duality of vector spaces arises
as a particular instance with perfect duality only in the case of
finite-dimensional vector spaces. Here is a page outlining a broader
discussion: https://ncatlab.org/nlab/show/duality
Duality turns out to be a surprisingly
I do that I couldn’t do before?
>
>
>
> *From:* Friam *On Behalf Of *Barry MacKichan
> *Sent:* Monday, October 25, 2021 8:52 AM
> *To:* The Friday Morning Applied Complexity Coffee Group <
> friam@redfish.com>
> *Subject:* Re: [FRIAM] stygmergy, CA's, and [biological
I did not bully you, Jon. I asked you some questions whose answers I
really don't know.
In a good world those questions might lead you to insights that we can all
benefit from.
I am sorry you feel bullied. I know my intentions.
Frank
---
Frank C. Wimberly
140 Calle Ojo Feliz,
Santa Fe, NM 87
Behalf Of Barry MacKichan
Sent: Monday, October 25, 2021 8:52 AM
To: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
Aha! I think the exercise here was to come up with a categorical statement.
—Barry
On 25 Oct 2021, at
Aha! I think the exercise here was to come up with a categorical
statement.
—Barry
On 25 Oct 2021, at 10:19, Marcus Daniels wrote:
It is hard to find the motivation to invest much in category theory
when the practical considerations are left as an exercise to the
reader.
.-- .- -. - / .- -.-
(Sorry about the previous message that got sent before I wrote it)
On 25 Oct 2021, at 11:36, Barry MacKichan wrote:
> The domain of dual.space can be mapped to any other domain :-)
Is this a theorem, or a koan?
—Barry
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - .
FR
>
> On Sun, Oct 24, 2021 at 5:00 PM Frank Wimberly
> wrote:
> I want to clarify what a dual space is.
The domain of dual.space can be mapped to any other domain :-)
___
stephen.gue...@simtable.com
CEO, Simtable http://www.s
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
Also, for those that are unfamiliar with how adjoint functors come into the
picture, here is something I wrote for my website on adjoint functors for
dynamical systems:
https://jonzingale.github.io/dynamical-monads/dynamical.html
The graphs produced directly via this code:
https://github.com/jonz
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.
I mean, a dual has a specific meaning in linear programming.Looks like that
are some operations on 1-d and 2-d grids?
From: Friam On Behalf Of Jon Zingale
Sent: Monday, October 25, 2021 7:53 AM
To: friam@redfish.com
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
&q
"""
It is hard to find the motivation to invest much in category theory
when the practical considerations are left as an exercise to the reader.
"""
... but not that hard:
https://github.com/jonzingale/Haskell/blob/master/blinky/blinky_image/Comonad.hs
Now if you will excuse me, I feel like I
] stygmergy, CA's, and [biological] development
Focusing the application of ant foraging, what is the scalar product of an ant?
What is the sum of two ants. Same questions for pheromone trails. If the
answer is that scalar product and sum are not general enough. What are the
homomorphis
What?? You right brain people are driving me nuts! 😁
---
Frank C. Wimberly
140 Calle Ojo Feliz,
Santa Fe, NM 87505
505 670-9918
Santa Fe, NM
On Mon, Oct 25, 2021, 12:22 AM Stephen Guerin
wrote:
> On Sun, Oct 24, 2021 at 5:00 PM Frank Wimberly
>> wrote:
>> I want to clarify what a dual space
>
> On Sun, Oct 24, 2021 at 5:00 PM Frank Wimberly
> wrote:
> I want to clarify what a dual space is.
The domain of dual.space can be mapped to any other domain :-)
___
stephen.gue...@simtable.com
CEO, Simtable http://www.s
In an affine space (vector space + point), an ant’s position is a point and a
path or trail can be described by vectors.
__
Ed Angel
Founding Director, Art, Research, Technology and Science Laboratory (ARTS Lab)
Professor Emeritus of Computer Science, University of New Mexico
1017 Sier
Focusing the application of ant foraging, what is the scalar product of an
ant? What is the sum of two ants. Same questions for pheromone trails.
If the answer is that scalar product and sum are not general enough. What
are the homomorphisms of ants and pheromone trails?
---
Frank C. Wimberly
1
I want to clarify what a dual space is. I think it is much more general
than Frank thinks it is: https://en.wikipedia.org/wiki/Adjoint_functors
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn UTC-6 bit.
I want to clarify what a dual space is. I think it is much more specific
than Jon thinks it is. A vector space is a linear space which consists of
vectors for which addition and scalar multiplication are defined. Scalars
are usually real numbers but may elements of other fields such a complex
n
"""
The problem for me with this view is that I don't understand how seeing
pheromone as 'organizing itself in space' is intuitively useful.
"""
I suppose that even if I didn't find this view *useful*, which I do and
will attempt to explain momentarily, I continue to find that it offers
a theoreti
Thanks for the thoughtful reply. I regret to say that my mathematics sense
has declined to the point where I am unable to follow a lot of what you are
saying.
About ants, you wrote, in one view "ants are a thing and the pheromone
memory is not *in* them. I see this as a particular choice of basis,
"""
I know these are supposed to be not-very-serious examples, but to take
them at least somewhat seriously would you elaborate a bit? Let's focus
on the bucket filling with water. Are you saying that this can be cast
as a stigmergic interaction? How so?
"""
Sure, though perhaps stigmergic-adjacen
I know these are supposed to be not-very-serious examples, but to take them
at least somewhat seriously would you elaborate a bit? Let's focus on the
bucket filling with water. Are you saying that this can be cast as a
stigmergic interaction? How so?
-- Russ
On Wed, Oct 20, 2021 at 11:13 AM Jon
Two abuses of example:
1. A bucket fills with water, a threshold is met and the bucket switches
mode to redirect water to the floor.
2. Baseball players in the field work shape the stats by acting on the
batting players until a threshold is met and the players switch to the
batting mode.
.-- .-
I think of stigmergy as a niche construction that "constructs" back. Now I
know that this is slightly different than the typical image where we
picture stigmergy as an endofunctor on an agent's behavior, but I think it
helps to explode-out what happens in that endofunctor. Stigmergy then ought
to e
-J.
Original message
From: ⛧ glen
Date: 10/20/21 07:16 (GMT+01:00)
To: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological]
development
But it's a sp
I do like the *is*/*does* duality you present here. I also am reminded
of the "constraint provides form" truism as you discuss niche construction.
Stigmergy, for me, is the background fabric wherein "niche construction"
is effected, though the "niche" is a higher order abstraction, that I
*t
actually get what is interesting about the term. In computer
>>> science it would be a “blackboard system” or simply “memory”.
>>>
>>> From: Friam On Behalf Of Nicholas Thompson
>>> Sent: Tuesday, October 19, 2021 8:34 PM
>>> To: The Friday Morning Applied Co
ssage
From: thompnicks...@gmail.com<mailto:thompnicks...@gmail.com>
<mailto:thompnicks...@gmail.com<mailto:thompnicks...@gmail.com>>
Date: 10/19/21 21:28 (GMT+01:00)
To: 'The Friday Morning Applied Complexity Coffee Group'
mailto:friam@redfish.com>
<
e to find the food source). Good
>>> point! I guess Russ will like this point of view.
>>>
>>> -J.
>>>
>>>
>>> Original message
>>> From: ⛧ glen
>>> Date: 10/20/21 07:16 (GMT+01:00)
>>> To: The Fri
hine-universality-of-the-game-of-life&c=E,1,IJEuQ1_7ghz0spABLtQNfDYVgnF9-EyWtbIvMPsmqzJ5B-OArQBM7ov3yRqEmMIvLIf4PVM2reKOBicO7yRSv4-QLIaRDTKRmC5gIcXH3zWcwMLrHSsT3Q,,&typo=1>>
> >>
> >>
> >>
> >> I would expect there are many “intermediate lambda” CAs that b
t;> contains the memory where to find the food source). Good point! I guess
>> Russ will like this point of view.
>>
>> -J.
>>
>>
>> Original message
>> From: ⛧ glen
>> Date: 10/20/21 07:16 (GMT+01:00)
>> To: The Friday Morn
n’t actually get what is interesting about the term. In computer
> science it would be a “blackboard system” or simply “memory”.
> >
> >From: Friam On Behalf Of Nicholas Thompson
> >Sent: Tuesday, October 19, 2021 8:34 PM
> >To: The Friday Morning Applied Complexity Coffee
I think we can distinguish questions in that way, if we think in terms of what
we can *do* rather than thinking in terms of what things *are*. Marcus' point
is well-received. There are plenty of things like Core Wars that differ from a
typical (more purposefully engineered) thing. The distinctio
Complexity Coffee
Group Subject: Re: [FRIAM] stygmergy, CA's, and
[biological] development But it's a specific kind of memory: a) shared and b)
abused or misused. There should be a decoupling of the objectives of the writer
from the objectives of the reader. A good example is a hermit
>
> I don’t actually get what is interesting about the term. In computer
> science it would be a “blackboard system” or simply “memory”.
>
>
> From: Friam On Behalf Of Nicholas Thompson
>
> Sent: Tuesday, October 19, 2021 8:34 PM
>
> To: The Friday Morning Applied C
ity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
Ugh. I was making fun of myself. If everything is stigmergy then the word has
no interesting use.
I am in danger of confusing it with niche construction. The concept offers an
alternative to Lamarckian
ly “memory”.
>
>From: Friam On Behalf Of Nicholas Thompson
>Sent: Tuesday, October 19, 2021 8:34 PM
>To: The Friday Morning Applied Complexity Coffee Group
>Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
>
>Ugh. I was making fun of myself. If every
*From:* Friam *On Behalf Of *Nicholas Thompson
> *Sent:* Tuesday, October 19, 2021 8:34 PM
> *To:* The Friday Morning Applied Complexity Coffee Group <
> friam@redfish.com>
> *Subject:* Re: [FRIAM] stygmergy, CA's, and [biological] development
>
>
>
> Ugh. I was ma
> *From:* Friam mailto:friam-boun...@redfish.com>>
>> *On Behalf Of *Jochen Fromm
>> *Sent:* Tuesday, October 19, 2021 12:40 PM
>> *To:* The Friday Morning Applied Complexity Coffee Group
>> mailto:friam@redfish.com>>
>> *Subject:* Re: [FRIAM] stygmer
>> <
>> https://uwe-repository.worktribe.com/output/822575/turing-machine-universality-of-the-game-of-life
>> >
>> >>
>> >>
>> >>
>> >> I would expect there are many “intermediate lambda” CAs that behave
>> this
t; this way, and so could implement any simulation manifesting stigmergy.
> >>
> >>
> >>
> >> *From:* Friam *On Behalf Of *Jochen Fromm
> >> *Sent:* Tuesday, October 19, 2021 12:40 PM
> >> *To:* The Friday Morning Applied Complexity Coffee Group
which interacts in a two
>> dimensional world (one space and one time dimension). It is a rather limited
>> model though. I am not sure if it is useful :-/
>>
>>
>>
>> -J.
>>
>>
>>
>>
>>
>> Original messag
expect there are many “intermediate lambda” CAs that behave this way,
> and so could implement any simulation manifesting stigmergy.
>
>
>
> *From:* Friam *On Behalf Of *Jochen Fromm
> *Sent:* Tuesday, October 19, 2021 12:40 PM
> *To:* The Friday Morning App
On Behalf Of Jochen Fromm
Sent: Tuesday, October 19, 2021 12:40 PM
To: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
Interesting point. What do the others think?
I think if you start with an "X" at the top and
This excellent blog post about planaria and their insane regenerative
abilities turned up on hackernews barely two weeks ago,
https://www.rifters.com/crawl/?p=10007
-- rec --
On Tue, Oct 19, 2021 at 3:42 PM uǝlƃ ☤>$ wrote:
> Yes, some types of CA can be stygmergic. The separation between th
Yes, some types of CA can be stygmergic. The separation between the environment
and the agent is clear in that the "agent" is the per-cell algorithm (some CAs
have multiple algorithms, a spectrum from a global algorithm updating all cells
to a different algorithm for each cell). The "environment
ehalf Of Jochen FrommSent: Tuesday,
October 19, 2021 1:05 PMTo: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological]
development No, CAs are not a good model for stygmergy IMHO. Stygmergy is as
Wikipedia says a mechanism of ind
< In Cellular Automata there is no clear distinction between agent and
environment. They are just a grid of states which evolves step by step by
updating the cells with a transition rule or function.>
And yet agency emerged.
Marcus
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..
t;The Self-made Tapestry: Pattern Formation in
Nature".-J.
Original message From: thompnicks...@gmail.com Date: 10/19/21
20:15 (GMT+01:00) To: 'The Friday Morning Applied Complexity Coffee Group'
Subject: [FRIAM] stygmergy, CA's, and [biological]
development Frien
nthompson/>
https://wordpress.clarku.edu/nthompson/
From: Friam On Behalf Of Jochen Fromm
Sent: Tuesday, October 19, 2021 1:05 PM
To: The Friday Morning Applied Complexity Coffee Group
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development
No, CAs are not a good mo
Nick,
A reminder on Micheal Levin's work on regeneration, inheritance and
connection to bioelectric fields:
https://youtu.be/XheAMrS8Q1c?t=428
zoomed to experiment but I encourage you to watch the whole talk.
Stigmergy is coordination through indirect communication. Ant foraging,
termite nest
thompnicks...@gmail.com Date: 10/19/21
20:15 (GMT+01:00) To: 'The Friday Morning Applied Complexity Coffee Group'
Subject: [FRIAM] stygmergy, CA's, and [biological]
development Friends,Beware. As usual, I am trying to get you to think for
me.My grandson is working on a re
Friends,
Beware. As usual, I am trying to get you to think for me.
My grandson is working on a regeneration project in his freshman biolab
(Planaria) and his sources and texts are replete with cognitive language
like "signal" and "memory" etc., which implies that as the worm regenerates
67 matches
Mail list logo
