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 ...
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 ...
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 ...