aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory

Quantum (Physics, Computing), Topos & Homotopy Theory
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: buymeacoffee.com/aboutlogic

This episode is also available as a video on our YouTube channel: youtube.com/@aboutlogic

00:01:19 Introduction to Quantum Research and Technologies
00:04:34 Understanding Fermions, Bosons, and Anyons
00:10:16 The Role of Anyons in Quantum Computing
00:13:29 Understanding Topos Theory and Its Relevance
00:17:02 Mathematical Foundations: Differential Geometry and Topos Theory
00:20:55 The Intersection of Physics, Mathematics and Logic
00:32:31 Historical Context of Mathematics and Physics
00:37:26 Category Theory and Its Implications
00:41:23 Gauge Fields and Homotopy Type Theory
00:49:40 Philosophical Implications of Higher Topos Theory / Hegel

Further Reading & Resources:
Urs Schreiber: ncatlab.org/nlab/show/Urs+Schreiber
Get the HoTT Book for free (no advertisement): homotopytypetheory.org/book
Thorsten Altenkirch: cs.nott.ac.uk/~psztxa
Deniz Sarikaya: denizsarikaya.de
Creative Production: Jan-Niklas Meyer: jammos.com

Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.