phlegm
发表于 2025-3-25 03:33:01
http://reply.papertrans.cn/67/6658/665777/665777_21.png
Blood-Vessels
发表于 2025-3-25 09:07:38
Categories for the Practising Physicistof internal comonoids which play an important role in each of them. The categories . and . moreover admit a categorical matrix calculus. Together these features guide us towards topological quantum field theories. We also discuss posetal categories, how group representations are in fact categorical
浸软
发表于 2025-3-25 15:27:30
http://reply.papertrans.cn/67/6658/665777/665777_23.png
Brocas-Area
发表于 2025-3-25 19:23:41
A Partial Order on Classical and Quantum States; von Neumann entropy is a measurement on the domain of quantum states..These results yield a foundation from which one can (a) reason qualitatively about probability, (b) derive the lattices of Birkhoff and von Neumann in a unified manner, suggesting that domains may provide a formalism for the log
减至最低
发表于 2025-3-25 21:52:39
http://reply.papertrans.cn/67/6658/665777/665777_25.png
evasive
发表于 2025-3-26 02:44:07
“What is a Thing?”: Topos Theory in the Foundations of Physicsbe attached to a system, .. The first, ., is a propositional language; the second, ., is a higher-order, typed language. Both languages provide deductive systems with an intuitionistic logic. With the aid of . we expand and develop some of the earlier work. on topos theory and quantum physics. A key
legislate
发表于 2025-3-26 06:52:34
http://reply.papertrans.cn/67/6658/665777/665777_27.png
死猫他烧焦
发表于 2025-3-26 09:58:23
http://reply.papertrans.cn/67/6658/665777/665777_28.png
Biomarker
发表于 2025-3-26 16:25:32
http://reply.papertrans.cn/67/6658/665777/665777_29.png
Chronological
发表于 2025-3-26 18:50:39
Physics, Topology, Logic and Computation: A Rosetta Stonegy, logic and computation. In this expository paper, we make some of these analogies precise using the concept of “closed symmetric monoidal category”. We assume no prior knowledge of category theory, proof theory or computer science.