Axioms for the Category of Hilbert Spaces


Event details

Date 07.12.2021 14:1515:15  
Speaker Chris Heunen, University of Edinburgh
Location Online
Category Conferences - Seminars
Event Language English

We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure such as probabilities, convexity, complex numbers, continuity, or dimension. We'll discuss the axioms, sketch the proof of the theorem, and survey open questions, further directions, and context. (Based on joint work with Andre Kornell arxiv:2109.07418.)

Practical information

  • Expert
  • Free



Event broadcasted in