bob_coecke

3 ms·

1. 1.▲
   by bob_coecke 3y ago

   That's very true indeed, and for photonic QCs ZX has become vital for all software.
2. 2.▲
   by bob_coecke 3y ago

   Not really, interaction nets and linear logic don't have the compact closed categorical semantics we use here. Ros Duncan's PhD is about the differences. (and that was long before the extra structures of ZX had started)
3. 3.▲
   by bob_coecke 3y ago

   There are many quantum computers around, IBM and Google's supper conducting ones, our ion traps, optical ones by e.g. Quandela, and they are all heavily used. There exist compilers for them and they heavily employ ZX-calculus for opti
4. 4.▲
   by bob_coecke 5y ago

   Within the applied category realm where seven sketches lives, there are low-level concrete industrial applications that are becoming increasingly dominant with key industry players in quantum tech. The most known one is ZX-calculus which i