相关论文: The unification of Mathematics via Topos Theory - …

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…

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…

Toposes can be pictured as mathematical universes. Besides the standard topos, in which most of mathematics unfolds, there is a colorful host of alternate toposes in which mathematics plays out slightly differently. For instance, there are…

We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…

There are different meanings of foundation of mathematics: philosophical, logical, and mathematical. Here foundations are considered as a theory that provides means (concepts, structures, methods etc.) for the development of whole…

A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…

Grothendieck toposes, and by extension, logical theories, can be represented by topological structures. Butz and Moerdijk showed that every topos with enough points can be represented as the topos of sheaves on an open topological groupoid.…

The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and…

Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves…

We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

The received Hilbert-style axiomatic foundations of mathematics has been designed by Hilbert and his followers as a tool for meta-theoretical research. Foundations of mathematics of this type fail to satisfactory perform more basic and more…

We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the encoding reveals a potentially viable foundation for all of…

In this paper we use the notion of Grothendieck topology to present a unified way to approach representability in supergeometry, which applies to both the differential and algebraic settings.

Some of the basic concepts of topology are explored through known physics problems. This helps us in two ways, one, in motivating the definitions and the concepts, and two, in showing that topological analysis leads to a clearer…

Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts as those which can be communicated faithfully between the…

The unity of mathematics has its power to compactify experiences in a form capable of being transferred and modified or adapted to new mathematical situations. Yet, we believe that the phrase "Unity of Mathematics" expresses a dream, an…

This talk presents foundations of mathematics as a historically variable set of principles appealing to various modes of human intuition and devoid of any prescriptive/prohibitive power. At each turn of history, foundations crystallize the…

The notion of Grothendieck topos may be considered as a generalisation of that of topological space, one in which the points of the space may have non-trivial automorphisms. However, the analogy is not precise, since in a topological space,…