(no subject)
Aug. 31st, 2024 10:51 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsThe 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
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.
