aboutlogic #12 | Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory
Notes de l’épisode
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.