Pyknotic Set
In mathematics, especially in topology, a pyknotic set is a sheaf of sets on the site of compact Hausdorff spaces (with some fixed Grothendieck universes). The notion was introduced by Barwick and Haine to provide a convenient setting for homological algebra. The term ''pyknotic'' comes from the Greek πυκνός, meaning dense, compact or thick. The notion can be compared to other approaches of introducing generalized spaces for the purpose of homological algebra such as Clausen and Scholze‘s condensed sets or Johnstone‘s topological topos In mathematics, a generalized space is a generalization of a topological space. Impetuses for such a generalization comes at least in two forms: # A desire to apply concepts like cohomology for objects that are not traditionally viewed as spaces. Fo .... Pyknotic sets form a coherent topos, while condensed sets do not. Comparing pyknotic sets with his approach with Clausen, Scholze writes: References * *Peter Scholze, Lectures on Co ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Twist (mathematics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity (mathematics), continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopy, homotopies. A property that is invariant under such deformations is a topological property. Basic exampl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Sheaf (mathematics)
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their correct definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or morphisms) from one ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Grothendieck Universe
In mathematics, a Grothendieck universe is a set ''U'' with the following properties: # If ''x'' is an element of ''U'' and if ''y'' is an element of ''x'', then ''y'' is also an element of ''U''. (''U'' is a transitive set.) # If ''x'' and ''y'' are both elements of ''U'', then \ is an element of ''U''. # If ''x'' is an element of ''U'', then ''P''(''x''), the power set of ''x'', is also an element of ''U''. # If \_ is a family of elements of ''U'', and if is an element of ''U'', then the union \bigcup_ x_\alpha is an element of ''U''. A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. (In fact, uncountable Grothendieck universes provide models of set theory with the natural ∈-relation, natural powerset operation etc.). Elements of a Grothendieck universe are sometimes called small sets. The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. The existence of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Homological Algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through both their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other 'tan ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Generalized Space
In mathematics, a generalized space is a generalization of a topological space. Impetuses for such a generalization comes at least in two forms: # A desire to apply concepts like cohomology for objects that are not traditionally viewed as spaces. For example, a topos was originally introduced for this reason. # A practical need to remedy the deficiencies that some naturally-occurring categories of spaces (e.g., ones in functional analysis) tend not to be abelian, a standard requirement to do homological algebra. Alexander Grothendieck's dictum says a topos is a generalized space; precisely, he and his followers write in exposé 4 of SGA I: However, William Lawvere argues in his 1975 paper that this dictum should be turned backward; namely, "a topos is the 'algebra of continuous (set-valued) functions' on a generalized space, not the generalized space itself." A generalized space should not be confused with a geometric object that can substitute the role of spaces. For example, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Condensed Set
Condensed mathematics is a theory developed by and Peter Scholze which, according to some, aims to unify various mathematical subfields, including topology, complex geometry, and algebraic geometry. Idea The fundamental idea in the development of the theory is given by replacing topological spaces by ''condensed sets'', defined below. The category of condensed sets, as well as related categories such as that of condensed abelian groups, are much better behaved than the category of topological spaces. In particular, unlike the category of topological abelian groups, the category of condensed abelian groups is an abelian category, which allows for the use of tools from homological algebra in the study of those structures. The framework of condensed mathematics turns out to be general enough that, by considering various "spaces" with sheaves valued in condensed algebras, one is able to incorporate algebraic geometry, p-adic analytic geometry and complex analytic geometry. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topological Topos
In mathematics, a generalized space is a generalization of a topological space. Impetuses for such a generalization comes at least in two forms: # A desire to apply concepts like cohomology for objects that are not traditionally viewed as spaces. For example, a topos was originally introduced for this reason. # A practical need to remedy the deficiencies that some naturally-occurring categories of spaces (e.g., ones in functional analysis) tend not to be abelian, a standard requirement to do homological algebra. Alexander Grothendieck's dictum says a topos is a generalized space; precisely, he and his followers write in exposé 4 of SGA I: However, William Lawvere argues in his 1975 paper that this dictum should be turned backward; namely, "a topos is the 'algebra of continuous (set-valued) functions' on a generalized space, not the generalized space itself." A generalized space should not be confused with a geometric object that can substitute the role of spaces. For example, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |