Related papers: Derived Stone Embedding
Classes of Banach spaces that are finitely, strongly finitely or elementary equivalent are introduced. On sets of these classes topologies are defined in such a way that sets of defined classes become compact totally disconnected…
We introduce an alternative formalization of curved spaces in which the concept of a pointwise affine space, as defined here, replaces that of a manifold. New or modified definitions of familiar notions from differential geometry such as…
Accurate description of crystal structures is a prerequisite for predicting the physicochemical properties of materials. However, conventional X-ray diffraction (XRD) characterization often encounters intrinsic bottlenecks when applied to…
Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogous for submersions, immersions, and \'{e}tale maps (i.e., local diffeomorphisms) consistent with…
In this paper we study the category of discrete G-spectra for a profinite group G. We consider an embedding of module objects in spectra into a category of module objects in discrete G-spectra, and study the relationship between the…
We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…
Working in a generic derived algebro-geometric context, we lay the foundations for the general study of affineness and local descendability. When applied to $\mathbf{E}_\infty$ rings equipped with the fpqc topology, these foundations give…
We propose a method that learns a discriminative yet semantic space for object categorization, where we also embed auxiliary semantic entities such as supercategories and attributes. Contrary to prior work which only utilized them as side…
Pyknotic objects are (hyper)sheaves on the site of compacta. These provide a convenient way to do algebra and homotopy theory with additional topological information present. This appears, for example, when trying to contemplate the derived…
In a previous work we proved the uniqueness and functoriality of primary unfoldings on simple Thom-Mather spaces, which is a functor to the category of smooth manifolds. In this article we extend these results for any stratified Thom-Mather…
We study the Hausdorff and the box dimensions of closed invariant subsets of the space of pointed trees, equipped with a pseudogroup action. This pseudogroup dynamical system can be regarded as a generalization of a shift space. We show…
Stone locales together with continuous maps form a coreflective subcategory of spectral locales and perfect maps. A proof in the internal language of an elementary topos was previously given by the second-named author. This proof can be…
In this paper we give a thorough study of Lipschitz spaces. We obtain the following new results: (1) Sharp Jawerth-Franke-type embeddings between the Besov and Lipschitz spaces extending the classical results for Besov and Sobolev spaces;…
We establish Poincar\'e embedding results in the relative setting, generalizing previously known results in the absolute case. Our primary motivation comes from applications to non-simply connected Poincar\'e surgery, which will be…
In this paper we advance into a generalized spinor classification, based on the so-called Lounesto's classification. The program developed here is based on an existing freedom on the spinorial dual structures definition, which, in a certain…
A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…
Decomposition spaces are a class of function spaces constructed out of well-behaved coverings and partitions of unity of a set. The structure of the covering of the set determines the properties of the decomposition space. Besov spaces,…
We propose and develop a theory that allows to characterize epimorphisms of profinite groups in terms of indecomposable epimorphisms.
We establish the following model-theoretic characterization: profinite $L$-structures, the cofiltered limits of finite $L$-structures,are retracts of ultraproducts of finite $L$-structures. As a consequence, any elementary class of…
A Boolean ring and its Stone space (Boolean space) are primitive if the ring is disjointly generated by its pseudo-indecomposable (PI) elements. Hanf showed that a primitive PI Boolean algebra can be uniquely defined by a structure diagram.…