Related papers: Internal Categoricity and the Generic Multiverse
We define and study notions of comprehension in $(\infty,1)$-category theory. In essence, we do so by implementing B\'{e}nabou's foundations of naive category theory in a univalent meta-theory. In particular, we develop natural…
Neural networks excel at pattern recognition but struggle with reliable logical reasoning, often violating basic logical principles during inference. We address this limitation by developing a categorical framework that systematically…
Under a minimum of assumptions, we develop in generality the basic theory of universal algebra in a symmetric monoidal closed category $\mathcal{V}$ with respect to a specified system of arities $j:\mathcal{J} \hookrightarrow \mathcal{V}$.…
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable propositions, and a characterization of realizability…
The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
We consider some of the epistemic benefits of exploring "theory space" in the context of modifications of general relativity with intended applications in cosmology. We show how studying modifications of general relativity can help in…
The mathematical modeling of generics in Java and other similar nominally-typed object-oriented programming languages is a challenge. In this short paper we present the outline of a novel order-theoretic approach to modeling generics, in…
It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete…
In the local, characteristic 0, non archimedean case, we consider distributions on GL(n+1) which are invariant under the adjoint action of GL(n). We prove that such distributions are invariant by transposition. This implies that an…
Category theory plays a special character in mathematics - it unifies distinct branches under the same formalism. Despite this integrative power in math, it also seems to provide the proper foundations to the experimental physicist. In this…
A new definition of Lie invariance for nonlinear multi-dimensional boundary value problems (BVPs) is proposed by the generalization of known definitions to much wider classes of BVPs. The class of (1+3)-dimensional nonlinear BVPs of the…
We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
A new category of "intrinsic" effects is proposed to be added to the two already known kinematic and dynamical categories. An example of intrinsic effect is predicted, its origin source is established, and a scheme of its experimental…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
Many formal languages of contemporary mathematical music theory -- particularly those employing category theory -- are powerful but cumbersome: ideas that are conceptually simple frequently require expression through elaborate categorical…
The general theory of relativity (GR) was proposed with an aim of incorporating Mach's principle mathematically. Despite early hopes, it became evident that GR did not follow Mach's principle. Over time, multiple researchers attempted to…
Gillespie's Theorem gives a systematic way to construct model category structures on $\mathscr{C}( \mathscr{M} )$, the category of chain complexes over an abelian category $\mathscr{M}$. We can view $\mathscr{C}( \mathscr{M} )$ as the…
Even when completely and consistently formulated, a fundamental theory of physics and cosmological boundary conditions may not give unambiguous and unique predictions for the universe we observe; indeed inflation, string/M theory, and…