aboutlogic

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


Listen Later

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.

...more
View all episodesView all episodes
Download on the App Store

aboutlogicBy Deniz Sarikaya, Thorsten Altenkirch