7
votes
1answer
179 views

Are identity types interpreted physically in an infinity-topos formulation of equations of motion?

In reference to Urs Schreibers paper/book on foundations of field theory Differential cohomology in a cohesive infinity-topos I wonder: are identity types there used "only" for the computations, or ...
0
votes
0answers
109 views

Can quantum field theory be seen as an epistemic restriction on (quantum) causal structure

Suppose we take Vicary's quantum harmonic oscilator as a kind of "toy quantum field theory". Next, take the category of internal comonoids to not represent the background causal structure. We ...
7
votes
2answers
153 views

Could motives aid in the study of the Navier-Stokes equations?

Recently, mathematicians and theoretical physicists have been studying Quantum Field Theory (and renormalization in particular) by means of abstract geometrical objects called motives. Amongst these ...