7
votes
1answer
210 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 ...
1
vote
0answers
31 views

Ontic state space from operational structures

Operationalism eschews a notion of system state in favour of the empirical behaviours of preparation and measurement. Abramsky has formalized operational structures as Chu spaces. It would be nice ...
0
votes
0answers
113 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 ...