(Ah yes dunno why I went for "Texan", not that I am even half-good at desouping the 2)
I was just thinking a few hours ago, that baby seems to be squalling for "quantales". Have you ever asked an LLM about it? I have (in relation to what I've been thinking hard about).. Did you find the answer useful? it's good I don't remember what it said, because it seems to be too adult (in name, if not concept), & I don't feel like I've ever made such a kid of myself.
I did algolia what you've written about it so far (2 hrs ago?). Hows the Kleene implementation? It should actually be immediately useful to me!! (And... You win!!)
The introduction of the cipher 0 or the group concept was general nonsense, too, and for a thousand years or two mathematics was more or less stagnating, because nobody was around to make such childish steps . . .
--Letter to R. Brown
PS: Ah but the whole point might be that rationalism don't need no inner party? (And, in CH, such decoupling falls out of a hat, there's no need for further "design work" on the process (in principle?)-- Thus.. is it really the kind of decoupling i thought I was talking about? It seems to be! But I can't ELI5! (Sincere question))
U: chart is flattering^W enlightening, quite. yep I saw that vid ~ march? last year