1999/12/08 by Vladimir Molotkov, Molotkov, Vladimir
Mathematics · #14A20 #14A22 #18F10 #18F15 #18F20 #Advanced Topics in Algebra #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Rings, Modules, and Algebras #math.AG #math.CT #msc:14A20 #msc:14A22 #msc:18F10 #msc:18F15 #msc:18F20
paper · pdf · doi:10.48550/arxiv.math/9912060
31 page, uses XYPic package
arxiv created 1999/12/08 · openalex publication_date 1999/12/08 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on "non-commutative" or, more generally, "universal" algebraic geometry, which is alternative to already existing, and is closer, in some sense, to the classical Grothendieck's construction of commutative schemes. Another immediate application of the theory developed is construction of an extension of the category of Grothendieck schemes to the category of "etale schemes" containing together with any scheme every etale sheaf over it as well. The main result of this work is that for any presite satisfying some smallness conditions (existence of local sets of topological generators) there exists the universal "completion" of a presite to a glutos.