Related papers: Internal Categoricity and the Generic Multiverse
Recent criticism of higher-dimensional extensions of Einstein's theory is considered. This may have some justification as regards string theory, but is misguided as applied to five-dimensional theories with a large extra dimension. Such…
We explore functors between operator space categories, some properties of these functors, and establish relations between objects in these categories and their images under these functors, in particular regarding injectivity and injective…
We give an overview of the derivation of multipolar equations of motion of extended test bodies for a wide set of gravitational theories beyond the standard general relativistic framework. The classes of theories covered range from simple…
Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative…
Proof assistants play a dual role as programming languages and logical systems. As programming languages, proof assistants offer standard modularity mechanisms such as first-class functions, type polymorphism and modules. As logical…
A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…
New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with…
A major hurdle for modified gravity theories is to explain the dynamics of galaxy clusters. A case is made for a generalized gravitational theory called Scalar-Tensor-Vector-Gravity (STVG) or MOG (modified gravity) to explain merging…
We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorems from [GrVaVi]. We prove criteria for existence and…
According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is…
In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while…
Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn of doctrines. Modal interior operators are characterised as particular adjoints in the 2-category Dtn. We…
Several attempts to construct theories of gravity with variable mass are considered. The theoretical impacts of allowing the rest mass to vary with respect to time or an appropriate curve parameter are examined in the framework of Newtonian…
This paper investigates the relationship between categorical entropy and von Neumann entropy of quantum lattices. We begin by studying the von Neumann entropy, proving that the average von Neumann entropy per site converges to the logarithm…
We propose a new line of attack to create a finite quantum theory which includes general relativity and (perhaps) the standard model in its low energy limit. The theory would emerge from the categorical approach. A structure is observed on…
We generalise classical reconstruction results in algebra, using the language of monads, monoidal categories, module categories, as well as various notions of duality, such as closedness, Grothendieck--Verdier duality (also known as…
M\"obius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying…
We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from…
We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…
We study the properties of a generalized metallic, a generalized product and a generalized complex structure induced on the generalized tangent bundle of $M$ by a metallic Riemannian structure $(J,g)$ on $M$, providing conditions for their…