Categories Logic and Physics Scotland
21 videos • 463 views • by OxfordQuantumVideo
1
Kevin Dunne: " Infinite-Dimensional Categorical Quantum Mechanics, Spectra, and Contextuality"
OxfordQuantumVideo
Download
2
Chris Heunen: "The category of Hilbert modules"
OxfordQuantumVideo
Download
3
Fabio Zanasi: "A new foundation for string diagram rewriting: adequacy, confluence, commutativity"
OxfordQuantumVideo
Download
4
Aleks Kissinger: "A categorical semantics for causal structure"
OxfordQuantumVideo
Download
5
Stefano Gogioso: "Infinite-dimensional Categorical Quantum Mechanics"
OxfordQuantumVideo
Download
6
Peter Hines: "Diagrams and Coherence Theorems in Cryptography and Cryptanalysis"
OxfordQuantumVideo
Download
7
Clemens Kupke: "Games for topological fixpoint logics"
OxfordQuantumVideo
Download
8
Stefano Gogioso: "Full graphical treatment of the Hidden Subgroup Problem"
OxfordQuantumVideo
Download
9
Sean Tull: "Operational physics, logic and categories"
OxfordQuantumVideo
Download
10
Sander Uijlen: "Indefinite causal structures using diagrammatic methods"
OxfordQuantumVideo
Download
11
Nick Behr: "Graph rewriting and combinatorial Hopf algebra"
OxfordQuantumVideo
Download
12
Mark Lawson: "Inverse semigroups and étale groupoids"
OxfordQuantumVideo
Download
13
Bob Atkey: "From parametricity to conservation laws, via Noether's theorem"
OxfordQuantumVideo
Download
14
[Private video]
Download
15
Gwendolyn Barnes: "A category theoretic framework for noncommutative and nonassociative geometry"
OxfordQuantumVideo
Download
16
Tarmo Uustalu: "Grading monads, comonads and distributive laws"
OxfordQuantumVideo
Download
17
Dan Marsden: "Custom hypergraph categories via generalized relations"
OxfordQuantumVideo
Download
18
Ulrich Kraehmer: "What is a quantum symmetry?"
OxfordQuantumVideo
Download
19
Martti Karvonen: "Dagger categories: monads and limits"
OxfordQuantumVideo
Download
20
Kevin Dunne: "Endomorphism semialgebras in categorical quantum mechanics"
OxfordQuantumVideo
Download
21
Tom Avery: "Notions of algebraic theory"
OxfordQuantumVideo
Download