Tue, 29 Oct 2024 04:48:12 GMT

--- 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).

comments

Sun, 01 Sep 2024 05:59:58 GMT

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.

comments

timelets