(no subject)
--- Lambek & Scott, Introduction to higher-order categorical logic. 1994.
It looks like the Prince Charming class of narratives can be represented by an algebra category as it relates to the multiplier effect M (example T1).
--- Lambek & Scott, Introduction to higher-order categorical logic. 1994.
It looks like the Prince Charming class of narratives can be represented by an algebra category as it relates to the multiplier effect M (example T1).
Entry tags:
(no subject)
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
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.