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