Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

August 20, 2012

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory

Posted by Urs Schreiber

Readers of this blog know that Mike Shulman and myself have had extensive discussion, over many months, about cohesive homotopy type theory. Mike has connected this to his other work on homotopy type theory as explained in his post Internalizing the External, or The Joys of Codiscreteness, and I have been trying to see how much of quantum gauge field theory can be formalized in this axiomatics, discussed for instance in the post Prequantization in cohohesive homotopy type theory.

Now, the call for submissions to

  • QPL 2012

    Quantum Physics and Logic

    10-12 October 2012, Brussels, Belgium


made us think that this may be a good occasion to finally write up something together, even if it is just an “extended abstract”. This we have done now:

Maybe you’d enjoy having a look and dropping us a comment. It’s a brief survey (given the size constraints demanded for submissions of this form) of a collection of central constructions and their relations, which hopefully serves to indicate how the two seemingly disparate subjects of the title are in fact closely related.

Last year at QPL 2011 I had given an invited talk also within this general subject, the slides are still available at Prequantum Physics in a Cohesive ∞-Topos and might serve as further introduction to what I am discussing with Mike here.

Posted at August 20, 2012 7:06 AM UTC

TrackBack URL for this Entry:

0 Comments & 0 Trackbacks

Post a New Comment