I have put down a few thoughts on how we can start to see physics as an interface to underlying "structure". "Structure" is posed without its normal qualifier "Causal" and it will become more clear why I am doing this if you read the paper. Does anybody see, from reading the paper, how we can:
- cast QFT as an epistemic restriction on (causal?) structure?
- categorify the notion of epistemic restriction up to morphisms?
- use internal categories in a monoidal category as a "place" to build structured theories directly from interacting with aparata?