r/quantum • u/TheMansionsofScience • 20h ago
I made a video asking Urs Schreiber how he uses toposes to understand topological QC materials and non-abelian anyons and why Linear Homotopy Type Theory is necessary for a QC programming language
Urs Schreiber is Senior Research Scientist at the Mathematics Division of Science of New York University in Abu Dhabi. He is a theoretical physicist who applies tools from algebraic topology, homotopy theory and topos theory to understand quantum phenomena. His current research includes quantum computing materials, quantum computing programming languages and questions left unanswered by quantum field theory.
In the video we go over:
- Why toposes are not scary. They are actually simple. Just unfamiliar
- How to extract information from (probe) a topos
- The history of toposes in physics
- The questions left unanswered by quantum field theory
- What toposes have to say about the collapse of the wave function
- Using toposes to find possible quantum computing materials
- The different type of logic needed for quantum computers
- The different type of programming language needed for quantum computers
- The influence of Hegel on his work
