Tue 10 May 2016, 13:00–15:00

理学部7号館214
Room 214, School of Science Bldg. No. 7

Kenta Cho (Inst. of Comp. & Info. Sci., Radboud University), Von Neumann algebras from a logical / categorical perspective

Many researches at the Nijmegen group involve von Neumann algebras,

which are now important not only in quantum physics but also in the

context of quantum computation and information. I plan to talk about:

1) basics of von Neumann algebras and quantum theory; 2) von Neumann

algebras in effectus theory (a categorical approach to quantum

computation and logic); 3) von Neumann algebras as a (categorical,

denotational) model of the quantum lambda calculus.