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.
Grothendieck’s dictum says a topos is a generalized space; precisely, he and his followers write in exposé 4 of SGA I:[1]
On peut done dire que la notion de topos, dérivé naturel du point de vue faisceautique en Topologie, constitue à son tour un élargissement substantiel de la notion d'espace topologique, un grand nombre de situations qui autrefois n'étaient pas considérées comme relevant de intuition topologique
However, Lawvere argues in his 1975 paper [2] 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, a stack is typically not viewed as a space but as a geometric object with a richer structure.
Examples
- A locale is a sort of a space but perhaps not with enough points.[3] The topos theory is sometimes said to be the theory of generalized locales.[4]
- Giraud’s gros topos, Johnstone’s topological topos, [5] or more recent incarnations such as condensed sets or pyknotic sets. These attempt to embed the category of (certain) topological spaces into a larger category of generalized spaces, in a way philosophically if not technically similar to the way one generalizes a function to a generalized function.
References
- F. W. Lawvere, Continuously Variable Sets: Algebraic Geometry= Geometric Logic , pp.135-156 in Proc. Logic Colloquium Bristol 1973, North-Holland Amsterdam 1975.
- Lawvere, Categories of spaces may not be generalized spaces as exemplified by directed graphs
- Peter Johnstone, How general is a generalized space? , London Math. Soc. LNS 93 (1985)
- A. Grothendieck and J.L. Verdier, Theorie des Topos (SOA 4, tome I). Lecture Notes in Mathematics vol. 269 (Springer-Verlag, 1972).
 | This topology-related article is a stub. You can help Wikipedia by expanding it. |