Related papers: Categorical Foundations for Physics - I: Program a…
Quantum theory is a probabilistic theory with fixed causal structure. General relativity is a deterministic theory but where the causal structure is dynamic. It is reasonable to expect that quantum gravity will be a probabilistic theory…
The possibility of fundamental theories with very many ground states, each with different physical parameters, changes the way that we approach the major questions of particle physics. Most importantly, it raises the possibility that these…
Decoherence may not solve all of the measurement problems of quantum mechanics. It is proposed that a solution to these problems may be to allow that superpositions describe physically real systems in the following sense. Each quantum…
It is proposed that the mathematical models for any physical systems that are based in first principles, such as conservation laws or balance principles, have some common elements, namely, a space of kinematical states, a space of dynamical…
We consider the class of physical theories whose dynamics are given by natural equations, which are partial differential equations determined by a functor from the category of n-manifolds, for some n, to the category of fiber bundles,…
Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract "tasks" by means of physical processes. Process theory, on the other hand,…
Being mathematics a natural language to Mankind and to physics, it must be constantly adapted to our necessities and our natural perception. Then, mathematical concepts are not absolute to reality. Although mathematical theories are…
The formalism of classical particle dynamics is reinvestigated according to the basic requirement of causal consistency, and a new equation of particle dynamics, which is more general and more in line with classical mechanics experiments…
Recent developments in foundations of physics have given rise to a class of views suggesting that physically meaningful descriptions must always be relativized to a physical perspective. In this article I distinguish between strong physical…
Physical consequences are derived from the following mathematical structures: the variational principle, Wigner's classifications of the irreducible representations of the Poincare group and the duality invariance of the homogeneous Maxwell…
A non-technical argument is presented that there is a link between the mind and the physical world in modern physics. Special relativity, general relativity, quantum mechanics, statistical mechanics, and other areas of physics are explored.…
In this essay I develop quantum contextuality as a potential candidate for Wheeler's universal regulating principle, arguing -- \textit{contrary} to Wheeler -- that this ultimately implies that `bit' comes from `it.' In the process I…
We consider the possibility that the basic space of physics is not spacetime, but configuration space. We illustrate this on the example with a system of gravitationally interacting point particles. It turns out that such system can be…
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
A structure called a decision making problem is considered. The set of outcomes (consequences) is partially ordered according to the decision maker's preferences. The problem is how these preferences affect a decision maker to prefer one of…
We pursue research leading towards the nature of causality in the universe. We establish the equation of the universe's evolution from the universe-state function and its series expansion, in which causes and effects connect together to…
Can we use mathematics, and in particular the abstract branch of category theory, to describe some basics of dance, and to highlight structural similarities between music and dance? We first summarize recent studies between mathematics and…