๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A representation of stably compact spaces, and patch topology

โœ Scribed by Thierry Coquand; Guo-Qiang Zhang

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
204 KB
Volume
305
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

โœฆ Synopsis

This note presents a concrete representation of stably compact spaces. This is used to give a simple, and predicative, description of the patch topology of a stably compact space (J. Pure Appl. Algebra, to appear).

๐Ÿ“œ SIMILAR VOLUMES

The topology of moduli spaces of group r
The topology of moduli spaces of group representations: The case of compact surface
โœ Indranil Biswas; Carlos Florentino ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ French โš– 88 KB

Let G be a connected complex semisimple affine algebraic group, and let K be a maximal compact subgroup of G. Let X be a noncompact oriented surface. The main theorem of [3] says that the moduli space of flat K-connections on X is a strong deformation retraction of the moduli space of flat G-connec

Representability of locally compact regu
Representability of locally compact regular spaces by domains and formal spaces
โœ Inger Sigstam; Viggo Stoltenberg-Hansen ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 850 KB

When computing on a (generally) uncountable topological structure d, such as the topological field of real numbers R, one must by necessity compute on a set of concrete approximations P for d. One way to do this is to represent the original structure d using P in such a way that computations on P tr

A topological characterization of produc
A topological characterization of products of compact totally ordered spaces
โœ J. de Groot; P.S. Schnare ๐Ÿ“‚ Article ๐Ÿ“… 1972 ๐Ÿ› Elsevier Science โš– 981 KB

supfxcompactness family S of su (S. 1) every cover of x y elements of S as a two-elemen and ' (5.2) if SO U S1 = X = SO Lj S, with Si E S for i = 0, 1 9 2, t S, C S2 or Sz C S, (i.e., S, and S, are conaparable by inclusior!). 2.2. A topological space X is 2-cc0m~ct iff there exists an which genera

The embedding of a mapping space with co
The embedding of a mapping space with compact open topology
โœ Takemi Mizokami ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 217 KB

We give the embedding theorem of a mapping space CK (X, Y) with compact open topology in C,(K(X), K(Y)) with pointwise convergence topology, where K(X), K(Y) are the hyperspaces of compact subsets with finite topology. 0 1998 Elsevier Science B.V.