Related papers: Cover Schemes, Frame-Valued Sets and Their Potenti…
We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough…
We study the properties of a set of vectors called tight frames that obtained as the orthogonal projection of some orthonormal basis of $\R^n$ onto $\R^k.$ We show that a set of vectors is a tight frame if and only if the set of all cross…
In 1702.04949 noncommutative frames were introduced, generalizing the usual notion of frames of open sets of a topological space. In this paper we extend this notion to noncommutative Grothendieck topologies and their associated…
The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
We present a class of general prolate and oblate spheroidal spacetimes for the description of cosmic structures in the Universe. They are exact geometries which represent, in an appropriated way, the imbedding of spheroidal matter-energy…
A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can…
A finite-dimensional Hilbert space is usually described in terms of an orthonormal basis, but in certain approaches or applications a description in terms of a finite overcomplete system of vectors, called a finite tight frame, may offer…
The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…
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…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
We give an overview of the theory of framed correspondences in motivic homotopy theory. Motivic spaces with framed transfers are the analogue in motivic homotopy theory of $E_{\infty}$-spaces in classical homotopy theory, and in particular…
This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…
A survey of some recent and important results which have to do with integrable equations and their relationship with the theory of surfaces is given. Some new results are also presented. The concept of the moving frame is examined, and it…
In a recent paper, we have shown that warped time-frequency representations provide a rich framework for the construction and study of smoothness spaces matched to very general phase space geometries obtained by diffeomorphic deformations…
We develop the spacetime approach to gravitational lensing by spherically symmetric perturbations of flat, cosmological constant-dominated Friedman-Robertson-Walker metrics. The geodesics of the spacetime are expressed as integral…
The notion of a tamely ramified covering is canonical only for curves. Several notions of tameness for coverings of higher dimensional schemes have been used in the literature. We show that all these definitions are essentially equivalent.…
In this paper we investigate the functoriality properties of map-graded Hochschild complexes. We show that the category MAP of map-graded categories is naturally a stack over the category of small categories endowed with a certain…
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…
We relate closure operations for ideals and for submodules to non-flat Grothendieck topologies. We show how a Grothendieck topology on an affine scheme induces a closure operation in a natural way, and how to construct for a given closure…