Related papers: Axiomatic Method and Category Theory

This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…

The concept of definability of physical fields within a set-theoretical foundation is introduced. We propose an axiomatic set theory and show the Schroedinger equation and, more generally, a nonlinear sigma model come naturally out of the…

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states. This conditioning uses a key aspect that distinguishes…

We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as `bridges' for…

Using a basic idea of Sullivan's rational homotopy theory, one can see a Lie groupoid as the fundamental groupoid of its Lie algebroid. This paper studies analogues of Lie algebroids with non-trivial higher homotopy. Using various homotopy…

We establish some basic theorems in dimension theory and absolute extensor theory in the coarse category of metric spaces. Some of the statements in this category can be translated in general topology language by applying the Higson corona…

Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires…

We investigate the Higgs mechanism for gravity, which has been recently put forward by 't Hooft, when the Polyakov-type action for scalar fields is added to the original action. We find that from the Polyakov-type action, it is very natural…

This paper is the first in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the…

The goal of this paper is to summarise the first steps in developing a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum…

We observe that many of the separation axioms of topology (including $T_0-T_4$) can be expressed concisely and uniformly in terms of category theory as lifting properties (in the sense of Quillen model categories) with respect to (usually…

A new approach to the analytic theory of difference equations with rational and elliptic coefficients is proposed. It is based on the construction of canonical meromorphic solutions which are analytical along "thick paths". The concept of…

The aim of this paper is i) to argue for the feasibility and fruitfulness of a balance between the phenomenological method seeking intuitive evidence and the axiomatic-deductive method and ii) that there should be a mutual understanding…

In this paper, we have studied the axiomatics of {\it Ann-categories} and {\it categorical rings.} These are the categories with distributivity constraints whose axiomatics are similar with those of ring structures. The main result we have…

There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…

We describe the fundamental difference between the nature of problems in traditional physics and that of many problems arising today in systems biology and other complex settings. The difference hinges on the much larger number of a priori…