Faisceaux et complétions universelles
Families of functions dominated by distributions of -classes of mappings
A subsheaf of the sheaf of germs functions over an open subset of is called a sheaf of sub function. Comparing with the investigations of sheaves of ideals of , we study the finite presentability of certain sheaves of sub -rings. Especially we treat the sheaf defined by the distribution of Mather’s -classes of a mapping.
Fibrant presheaves of spectra and Guillén-Navarro extension
Fibrations and recursivity
Fibrations de petites catégories
Fibrés vectoriels topologiques de rang élevé sur une hypersurface
Finite closed coverings of compact quantum spaces
We consider the poset of all non-empty finite subsets of the set of natural numbers, use the poset structure to topologise it with the Alexandrov topology, and call the thus obtained topological space the universal partition space. Then we show that it is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this partition space. In technical terms, we prove that the category of finitely supported...
Foncteur pleinement fidèle dense classant les algèbres
Formal manifolds and synthetic theory of jet bundles
From Foundations to Science: Justifying and Unwinding Proofs
Functional separation of inductive limits and representation of presheaves by sections. Part IV: Representation of presheaves by sections
Functional separation of inductive limits and representation of presheaves by sections. Part one: Separation theorems for inductive limits of closured presheaves
Functional separation of inductive limits and representation of presheaves by sections. Part III: Some special cases of separation of inductive limits of presheaves
Functional separation of inductive limits and representation of presheaves by sections. Part II. Embedding of presheaves into presheaves of compact spaces
Functorial prolongations of Lie groups and their actions
Fundamental Groups, Algebraic K-Theory, and a Problem of Abhyankar.
Fundamental pro-groupoids and covering projections
We introduce a new notion of covering projection E → X of a topological space X which reduces to the usual notion if X is locally connected. We use locally constant presheaves and covering reduced sieves to find a pro-groupoid π crs (X) and an induced category pro (π crs (X), Sets) such that for any topological space X the category of covering projections and transformations of X is equivalent to the category pro (π crs (X), Sets). We also prove that the latter category is equivalent to pro (π CX,...