3 тысяч подписчиков
555 видео
Peter Hines: "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis"
QPL2017 - Quanlong Wang. Qutrit ZX-calculus is complete for Stabilizer Quantum Mechanics
QPL2017 - S Gogioso and F Genovese. Towards Quantum Field Theory in Categorical Quantum Mechanics
Vincent Danos: "Formal mean field theories for graph rewriting"
QPL2017 - Weilenmann and Colbeck. Entropy vector approach to distinguish causal structures
QPL2017 - Abramsky, Barbosa, Carù and Perdrix. A characterisation of AvN arguments on stabilisers
Martti Karvonen: "Dagger categories: monads and limits"
QPL2017 - Pau Enrique Moliner, Chris Heunen and Sean Tull. Space in monoidal categories
Chris Heunen: "Quantum logic in dagger kernel categories"
Dan Marsden: "Custom hypergraph categories via generalized relations"
