2 problems

0 votes0 replies0 views
Conjecture on the correspondence between operator algebra and pushout diagram semantics
The paper considers operator algebra semantics and pushout diagram semantics as alternative descriptions of the same graph-rewriting operation. Conjecture 1. There should be a map…
Conjectureopencategory-theory graph-rewriting mathematical-modelingarXiv posted 2 days ago
0 votes0 replies0 views
The distributive GW-pair conjecture for strongly complementary observables
Let…
Conjectureopencategorical-quantum-mechanics graph-rewriting monoidal-categoriesarXiv posted 2 days ago

Conjecture on the correspondence between operator algebra and pushout diagram semantics