timelets

Among other things, the ant solution to the grain sorting problem given to Psyche by Aphrodite can be modeled as a replacement of an Inert with an Active. The same applies to the Trasnsformer solution of the translation problem, etc.

upd. the Odysseus solution to the Sirens problem also fits the pattern

The word ‘_perceive_’ is, in our common usage, shot through and through
with the notion of cognitive apprehension. So is the word
‘_apprehension_’, even with the adjective _cognitive_ omitted. I will
use the word ‘_prehension_’ for _uncognitive apprehension_: by this I
mean _apprehension_ which may or or may not be cognitive.

Whitehead. Science..., 1925.

----

If we modeled this prehension as a CT monad we could develop and algebra of prehension, with quantative thresholds that separate the uncognitive and cognitive.

https://ncatlab.org/nlab/show/state+monad

X -> [W, WxY]

Here the operation [W, Wx(-)) is the monad on the type system which is induced by the above adjunction; and this latter function is naturally regarded as a morphism in the Kleisli category of this monad.