Related papers: No categorial support for radical ontic structural…
We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures…
The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations…
John Roe \cite{Roe lectures} introduced coarse structures for arbitrary sets $X$ by considering subsets of $X\times X$. That definition, while natural for analysts, is a bit more difficult to digest for topologists and geometers. In this…
We critically examine proposals for the so-called warp-drive spacetimes and classify these models based on their various restrictions within the framework of General Relativity. We then provide a summary of general formalism for each class,…
In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and…
We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…
We construct of the main object of the Partite Lemma as the colimit over a certain diagram. This gives a purely category theoretic take on the Partite Lemma and establishes the canonicity of the object. Additionally, the categorical point…
We show monistic realism consistent with quantum theory may be restored by extending the essential idea of relativity in such a way that every physical system is eligible, in principle, for an observing system. As a result, a common logical…
I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the…
In the present study we attempt to incorporate the philosophical dialogue about physical reality into the instructional process of quantum mechanics. Taking into account that both scientific realism and constructivism represent, on the…
It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model.…
This paper argues that the traditional opposition between determinism and indeterminism in physics is representational rather than ontological. Deterministic-stochastic dualities are available in principle, and arise in a non-contrived way…
Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are…
The principles of the physical description of non-inertial frames of reference are analyzed. The systems of physical reality description (PhRD) are introduced on base of generalization of the relativistic principle in special and general…
Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…
The no-go theorems of Bell and Kochen and Specker could be interpreted as implying that the notions of system and experimental context are fundamentally inseparable. In this interpretation, statements such as "spin is 'up' along direction…
We give a broad overview of a construction of a theory for matter on fixed causal set backgrounds. We introduce the Sorkin-Johnston formalism for a free (real) scalar field theory that is applicable to regions of continuum spacetimes as…
Unlike the relativity theory it seeks to replace, causal set theory has been interpreted to leave space for a substantive, though perhaps 'localized', form of 'becoming'. The possibility of fundamental becoming is nourished by the fact that…
We present a domain-specific type theory for constructions and proofs in category theory. The type theory axiomatizes notions of category, functor, profunctor and a generalized form of natural transformations. The type theory imposes an…
A reflexive relation on a set can be a starting point in defining the causal structure of a spacetime in General Relativity and other relativistic theories of gravity. If we identify this relation as the relation between lightlike separated…