Don´t take this precise as I have not case my work into your language mainly because i am not fluent in it. But here is a quick attempt to put the ideas i talk about, as well as my take on evolving law a little close to your context. Let's see if this makes any sense to you?
The background is that this the abstractions i personally use in my own research; but the point here is not my personal views, but the general abstractions i referred to. I have some conjectures and visions about what an Observer is and how it interacts with its environment, refining this in a way that explains physical law from general rules of inference is my resaarch problem.
For any given observer O, there is a category of all possible set of microstructures as i label it.
Ignore the details, but we should roughly associate this to the quantum state relative to a given observer (but observer in a generalized meaning).
Ob(O) / "objects" ~ All possible ways to ENCODE the observers information about its environent, given
the resources of the observers (here is a builtin, cutoff complexity M that limits the amount of data that
can be coded) meaning this structure contains an "inferred" picture of its own environment. Let's ignore the explicit details of these structurs.
hom(O) / "transformations" ~ All possible ways to transform one state of the information in Ob(O) to another state. This corresponds to internal alternative ways fo datacompression.
Informally the deterministic time evolution of QM, in this abstractions follows from that the category has a natural internal flow. Ie a given class has spontaneous transformations that transformst the objects. This by design is unitary, and can be understood conceptually simply as the momentum of hte "inference" that keeps in motion in between information updates. And i propose that the physical law, is implicitly encoded in this class.
Next, we consider many such classes interacting with each other. Wich can be understood so that different observers has different "views" on physical law; and this in itself is the explanatory power of some interaction. They can be _explained_ but the difference views. This is analogous to conflict psychology, some conflices are fully explained by the two parties having inconsistent views on each other.
The category of all Observers, K
Here we allow the complexity of the observer to change, and change in this picture includs the measurement, so we do NOT have unitary evolution here. Instead its more like a learning model.
Ob(K) / "objects" ~ All possible categories O
hom(K) / "transformations" ~ all possible deforming transformation that brings one observer into another one, in a way that is non-unitary, and it also allows for loosing or gaiing complexity.
But the point now, is that the explanatory power is tehre only for the class which has made this inference from observing such fellow classes interact, and abduced this from data. This is then analogous to the gauge symmetry, one needs a class of much higher complexity to make this transformation POSSIBLE. This is possible for HEP when the observer is the lab fram, but breaks down for hyopothetical Planck scale observer.
Is here that the "evolution of law" enters the picture. As per the logic of reality of law as per smoling, the state of final fixed law is never reach for cosmological models. Ignoring this leads to what he calls cosmological fallacy. Ie. applying things we know work from HEP - to cosomology. This is a fallacy.
Anyway, the open problem as it see it, is howto from this picture of evolving categories (which given that one observer, can observer other groups of observers in the environment) leades to evolving categories of categories - make some generic insights that help us get real predictability out of this, rather than just descriptions.
It was in this sense i wonder if you have any insights? For example, this is analogous to a hypothetical landscape of theories, where you may ponder in HOW the different theories evolve into each other, and wether this is to be understood as a physical process or not? My perspective is that is is a physical process, but one that requires new framework for foundational physics, and our understanding of symmetries etc.
But I have a feeling that while one can probably phrase this question in terms of higher categories, the physical problem lies in the relation and evolution of these categories, and i suspect that the key to make progress here might not like in these category theories? Unless you are aware of some extremely clever theorems or something that physicists simply hasnt understood the possible use of?
In view the categories of categories or just a refinement of the microstructure of the Objects, and the set of possible transformation of the morphisms, so instead of an hierarchy, i expet that we have an evolving classes - that interact - and we are looking for some preferred popupation of classes that are "consistent" with each other, and this corresponds to the laws of physics. but paradoxalyl to understand this consistent state i think we need to relax it and see that there is not physical law that we should use as constraints.
That task is then to, out of these pure abstractions (singled out preferred mathematical structures) identify all the "baggage" such as 4D spacetime, mass. and of course all interactions.
This is very abstract, so it is hard to explain shorly, and which is why i have lots fo work todo before i will seriously publish any of this. I usually don't bother, but from reading some of Urs work I think there is a chance that you might understand my main points, even though indeed all i write here is just words. I have not phrased or cleaned this up in a proper formal way. Thats also quite some work as i am not used to this mathematics, nor am i familiary wit all the symbolic notation. I also suspect the quality and denseness of your technica work is hard to digest for many physicists, but you have done a really good job on the ncat pages to start to explain why this is relevant to physics.
Does this many any sense? or still too fuzzy? IF so, rephrasing this deeper will take more time i have at ahdn for the moment. To be hoenst, in the stuff i work on secretly now, i use a basic probabilistic notation, in terms of combinatorics and microstructures. So i do not so far cast anything in any "advanced framework", as i do not yet KNOW which the right framework is, except i know its general inference. And computational theory and the types and terms are indeed related to this. The observers microstructure are then also ~ types. And terms are transformatiosn.
But in the category of categories, we have a type that is evolving also constrained by the original terms. And ther terms i view as spontaneouis processes. So no ad hoc laws are needed as input.
/Fredrik