timelets

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.