Unless I remember wrong (which is possible), function application in a Scott domain is not associative, e.g.
(f(g) ) (h) is not in general equal to f( g(h) ) However function composition is associative, and the standard products on vectors in Hilbert space are associative So it seems what you're doing may not be quite right, and you need to be looking at some sort of fairly general nonassociative algebras over Hilbert space instead ... or something... Or am I misunderstanding something? On Thu, Jan 28, 2021 at 6:53 AM YKY (Yan King Yin, 甄景贤) <[email protected]> wrote: > > Hey friends, > > Long time no see. This is my latest paper: > https://drive.google.com/file/d/1AhQS3fp4WMFIDEhn_q4vNs-YJaq4Z-Fr/view?usp=sharing > > I am also writing a tutorial on categorical logic / topos theory, a > subject that took me >10 years to learn, and I hope to explain what I > learned in a super easy to digest way. > > Cheers =) > YKY -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T54594b98b5b98f83-M4b04b84ac47e1eee2ee42960 Delivery options: https://agi.topicbox.com/groups/agi/subscription
