11
votes
3answers
619 views

Why am I wrong about how to view gauge theory?

Edit: I know there have been some similar questions but I don't think any had quite articulated my particular confusion. If gauge symmetries are really just redundancies in our description accounting ...
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 ...
5
votes
2answers
211 views

In the topos-theoretic interpretation of Physics by Isham & Doering what role does intuitionistic logic play?

Isham & Doering have written a series of papers exploring how to ground physics in topoi. Now the internal logic of topoi is higher order typed intuitionistic logic. In their theory what role is ...
13
votes
3answers
680 views

The interpretation of mass in quantum field theories

Consider a free theory with one real scalar field: $$ \mathcal{L}:=-\frac{1}{2}\partial _\mu \phi \partial ^\mu \phi -\frac{1}{2}m^2\phi ^2. $$ We write this positive coefficient in front of $\phi ^2$ ...
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 ...
1
vote
0answers
22 views

Does it make sense to speak of amplitudes of finite closed boundaries in QFT?

A example of amplitude in Relativistic Quantum Mechanics or specifically in QFT is the amplitude of a field configuration on a space-like hyper-surface of space-time to "lead" to another field ...