Все публикации

0:37:04

Martti Karvonen: 'Dagger categories: monads and limits'

0:47:10

Tom Avery: 'Notions of algebraic theory'

0:41:50

Ulrich Kraehmer: 'What is a quantum symmetry?'

0:38:58

Kevin Dunne: 'Endomorphism semialgebras in categorical quantum mechanics'

0:44:29

Dan Marsden: 'Custom hypergraph categories via generalized relations'

0:48:16

Tarmo Uustalu: 'Grading monads, comonads and distributive laws'

1:27:51

Evening Debate with Bob Coecke, Henrique Gomes, Ognyan Oreshkov and Simon Saunders

1:21:45

Markus Müller: Quantum theory as a principle theory

1:29:29

Harvey Brown: QBism: the ineffable reality behind 'participatory realism'

1:20:44

Adrian Kent: Testing the Bell Nonlocality of the Gravitational Field

1:20:22

Jamie Vicary: Categorification and Foundations

1:32:27

Lucien Hardy: Operational and compositional approach to physics

1:16:32

Niel de Beaudrap: An Abstract Diagrammatic Notation for Lattice Surgery

0:43:44

Clemens Kupke: 'Games for topological fixpoint logics'

0:41:09

Peter Hines: 'Diagrams and Coherence Theorems in Cryptography and Cryptanalysis'

0:40:27

Stefano Gogioso: 'Infinite-dimensional Categorical Quantum Mechanics'

0:47:01

Aleks Kissinger: 'A categorical semantics for causal structure'

0:41:30

Chris Heunen: 'The category of Hilbert modules'

0:39:01

Kevin Dunne: ' Infinite-Dimensional Categorical Quantum Mechanics, Spectra, and Contextuality'

0:37:22

Fabio Zanasi: 'A new foundation for string diagram rewriting: adequacy, confluence, commutativity'

0:46:02

Gwendolyn Barnes: 'A category theoretic framework for noncommutative and nonassociative geometry'

0:48:21

Mark Lawson: 'Inverse semigroups and étale groupoids'

0:51:45

Nick Behr: 'Graph rewriting and combinatorial Hopf algebra'

0:44:13

Sander Uijlen: 'Indefinite causal structures using diagrammatic methods'