Sign up to save your podcasts
Or
Share aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
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: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.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: https://ncatlab.org/nlab/show/Urs+Schreiber
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.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.
View all episodes
By Deniz Sarikaya, Thorsten AltenkirchQuantum (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: https://buymeacoffee.com/aboutlogic
This episode is also available as a video on our YouTube channel: https://www.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: https://ncatlab.org/nlab/show/Urs+Schreiber
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Creative Production: Jan-Niklas Meyer: http://www.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.