Urs Schreiber Quantum Physics Computing Topos Homotopy Theory 12 Aboutlogic

May 23, 2026
Media Summary: Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Can higher mathematics explain the structure of reality? In this episode of Know Time, mathematical I'm back, baby. I've been away traveling for podcasts and am excited to bring you new ones with Michael Levin, William Hahn, ...

Urs Schreiber Quantum Physics Computing Topos Homotopy Theory 12 Aboutlogic - Detailed Analysis & Overview

Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the Can higher mathematics explain the structure of reality? In this episode of Know Time, mathematical I'm back, baby. I've been away traveling for podcasts and am excited to bring you new ones with Michael Levin, William Hahn, ... This talk was part of the Thematic Programme on "Higher Structures and Field Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: Modern

Photo Gallery

Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"
Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos
Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138
Urs Schreiber: Quantum Language via Linear Homotopy Types 2/4
Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4
Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4
Urs Schreiber, Topological quantum programming via linear homotopy types
"Topological Quantum Gates from M-Theory", talk by Urs Schreiber at "M-Theory & Math 2023"
Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4
This Scientist Explains How the Universe Emerges from Nothing

Related Updates

Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types" Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138 Urs Schreiber: Quantum Language via Linear Homotopy Types 2/4 Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4 Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4 Olgam Life 3rd Ave: "Life-Changing Hacks Found By 3rd Ave Residents" Days Of Our Lives Abigail Update: What's Next For This Fan Favorite? MJR Cinema 16 Chesterfield Michigan's Secret Movie Deals Exposed Is The Dowjones Graph About To Collapse? Expert Insights You Won't Want To Miss Get 50k Miles + $200 Credit With Hawaiian Airlines Credit Card - Limited Time Only! Orlando's Wild Weather Shift: What To Expect Tomorrow Rollins Students: 5 Surprising Facts About Fall Break Traditions What's Been Hiding In New York's Asp Underbelly? What's Behind The Recent Pet Store Boom In Monroeville? A Deep Dive
Sponsored
Sponsored
View Detailed Profile
Urs Schreiber – Quantum (Physics, Computing), Topos & Homotopy Theory | #12 aboutlogic

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

aboutlogic

Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"

Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"

Topos

Sponsored
Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"

Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types"

Note: This talk ends prematurely due to internet connectivity issues. The speaker will return to the

Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos

Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos

The

Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138

Category Theory 101, Math & Higher Topos Theory in Physics ft. Urs Schreiber | Know Time 138

Can higher mathematics explain the structure of reality? In this episode of Know Time, mathematical

Sponsored
Urs Schreiber: Quantum Language via Linear Homotopy Types 2/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 2/4

Mini-course given by

Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 3/4

Mini-course given by

Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 4/4

Mini-course given by

Urs Schreiber, Topological quantum programming via linear homotopy types

Urs Schreiber, Topological quantum programming via linear homotopy types

Homotopy

"Topological Quantum Gates from M-Theory", talk by Urs Schreiber at "M-Theory & Math 2023"

"Topological Quantum Gates from M-Theory", talk by Urs Schreiber at "M-Theory & Math 2023"

details at: https://ncatlab.org/nlab/show/M-

Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4

Urs Schreiber: Quantum Language via Linear Homotopy Types 1/4

Mini-course given by

This Scientist Explains How the Universe Emerges from Nothing

This Scientist Explains How the Universe Emerges from Nothing

I'm back, baby. I've been away traveling for podcasts and am excited to bring you new ones with Michael Levin, William Hahn, ...

Urs Schreiber - TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order

Urs Schreiber - TED K-theory of Cohomotopy moduli spaces and Anyonic Topological Order

This talk was part of the Thematic Programme on "Higher Structures and Field

"Microscopic Brane Physics from Cohomotopy", talk by U. Schreiber at "M-Theory & Math 2020"

"Microscopic Brane Physics from Cohomotopy", talk by U. Schreiber at "M-Theory & Math 2020"

details at: https://ncatlab.org/nlab/show/M-

Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber

Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber

Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: http://fomus.weebly.com/ Modern

Urs Schreiber: "The $1 Million Puzzle: Hadrons and Quantum Computers", second draft recording

Urs Schreiber: "The $1 Million Puzzle: Hadrons and Quantum Computers", second draft recording

details at: https://ncatlab.org/

"Higher Topos Theory in Physics", talk by Urs Schreiber in the Zulip Category Theory Seminar (2024)

"Higher Topos Theory in Physics", talk by Urs Schreiber in the Zulip Category Theory Seminar (2024)

for details see: https://ncatlab.org/

Related Video Content

URS Members - Secure Online Services Login information

Our upgraded online experience is now live! You'll need your new Member ID to log in. Find it at the Classic myURS...

URS Corporation - Wikipedia information

Headquartered in San Francisco, California, URS was a full-service, global organization with offices located in the...

Utah State Retirement (URS) information

Utah Retirement System (URS) - Participation in the Utah Retirement System (URS) is mandatory for most full-time...

The Urs - Avalanșa | Official Video - YouTube information

Mar 10, 2026 · 🔔Subscribe to The Urs: https://bit.ly/SubscribetoTheUrs 🎵Concerte: livia@ethosmusic.ro 📰Press:...

University of Rizal System - Facebook information

4 days ago · The University of Rizal System (URS) has once again demonstrated excellence in innovation and...