相关论文: Some fundamental problems on real-analytic sets

In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical…

This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category of small maps and obtained the result that such categories…

Numerous papers ask how difficult it is to cluster data. We suggest that the more relevant and interesting question is how difficult it is to cluster data sets {\em that can be clustered well}. More generally, despite the ubiquity and the…

We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. In this second part we introduce the fundamental concepts of topological spaces, convergence, and continuity, as…

We consider a subanalytic subset A of a complex analytic manifold M (when M is viewed as a real manifold) and formulate conditions under which A is a complex analytic subset of M.

The special case of closed subsets of C^n is briefly discussed.

Category theory has become central to certain aspects of theoretical physics. Bain [Synthese, 190:1621--1635 (2013)] has recently argued that this has significance for ontic structural realism. We argue against this claim. In so doing, we…

We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside…

This article presents the mathematical background of general interactive systems. The first principle of designing a large system is to _divide and conquer_, which implies that we could possibly reduce human error if we divided a large…

In this paper we consider some of the issues of working with big data and big spatial data and highlight the need for an open and critical framework. We focus on a set of challenges underlying the collection and analysis of big data. In…

We study the central objects of symbolic dynamics, that is, subshifts and block maps, from the perspective of basic category theory, and present several natural categories with subshifts as objects and block maps as morphisms. Our main…

In this paper we record the formalism of algebro-geometric DG categories (in short AGCat) following a suggestion of V. Drinfeld. This formalism will be applied to ``real-world" problems in papers sequel to this one, [GRV2] and [GRV3].

This paper develops a theory of analytic geometry over the field with one element. The approach used is the analytic counter-part of the Toen-Vaquie theory of schemes over F_1, i.e. the base category relative to which we work out our theory…

Optimization problems, generalized equations, and the multitude of other variational problems invariably lead to the analysis of sets and set-valued mappings as well as their approximations. We review the central concept of set-convergence…

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…

We start discussing basic properties of Lie groupoids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and the subsequent integration of partial differential equations which is the…

Motivated by the interesting and yet scattered developments in representation theory of Banach-Lie groups, we discuss several functional analytic issues which should underlie the notion of infinite-dimensional reductive Lie group: norm…

Graph representation learning, a critical step in graph-centric tasks, has seen significant advancements. Earlier techniques often operate in an end-to-end setting, which heavily rely on the availability of ample labeled data. This…

This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…

Classification is a ubiquitous and fundamental problem in artificial intelligence and machine learning, with extensive efforts dedicated to developing more powerful classifiers and larger datasets. However, the classification task is…