Related papers: Formal models for relative adic spaces
Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…
In this paper, we deal with uniform spaces whose diagonal uniformity admits a basis consisting of equivalence relations. Such non-Archimedean uniform spaces are particularly interesting for applications in commutative ring theory, because…
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original…
We introduce a new class of nonlocal kinetic equations and nonlocal Fokker-Planck equations associated with an effective generalized thermodynamical formalism. These equations have a rich physical and mathematical structure that can…
We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…
In this paper we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More…
Quantum field theory has been shown recently renormalizable on flat Moyal space and better behaved than on ordinary space-time. Some models at least should be completely finite, even beyond perturbation theory. In this paper a first step is…
We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz…
Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…
Let $K$ be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring $R$. Let $f\colon Y\to X$ be a map of $K$-affinoid varieties. In this paper we study the analytic structure of the image $f(Y)\subset…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
UNIFORM algebras have been extensively investigated because of their importance in the theory of uniform approximation and as examples of complex Banach algebras. An interesting question is whether analogous algebras exist when a complete…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a…
Formal Concept Analysis starts from a very basic data structure comprising objects and their attributes. Sometimes, however, it is beneficial to also define attributes of attributes, viz., meta-attributes. In this paper, we use Triadic…
Using the notion of formal ball, we present a few new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its…
The goal of the present text is to state and prove a generalization of Raynaud localization theorem in the setting of derived geometry. More explicitly, we show that the $\infty$-category of quasi-paracompact and quasi-separated derived…
We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…
This paper is divided in four parts. In the introduction, we discuss the program and the motivations of this paper. In section 2, we introduce the non-Archimedean field of Euclidean numbers E and we present a summary of the theory of…
We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the \'etale realization functor of…