When working in a laboratory, the most basic behaviour is to turn a knob or dial and then see a transformation of some data output. An example is increasing a magnetic field and seeing Zeeman ...
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 ...