Two preservation results for countable products of sequential spaces

Matthias Schröder; Alexander Simpson

doi:10.1017/S0960129506005895

Two preservation results for countable products of sequential spaces

Matthias Schröder, Alexander Simpson

Research output: Contribution to journal › Article › peer-review

Abstract

We prove two results for the sequential topology on countable products of sequential topological spaces. First we show that a countable product of topological quotients yields a quotient map between the product spaces. Then we show that the reflection from sequential spaces to its subcategory of monotone ω-convergence spaces preserves countable products. These results are motivated by applications to the modelling of computation on non-discrete spaces.

Original language	English
Pages (from-to)	161-172
Number of pages	12
Journal	Mathematical Structures in Computer Science
Volume	17
Issue number	1
DOIs	https://doi.org/10.1017/S0960129506005895
Publication status	Published - 2007

Access to Document

10.1017/S0960129506005895

Two preservation resultsFinal published version, 540 KB

Topological Models for Computational Metalanguages
Simpson, A. (Principal Investigator)
EPSRC
1/10/03 → 30/09/06
Project: Research
Models and Axioms for the Semantics of Computation
Simpson, A. (Principal Investigator)
EPSRC
1/10/01 → 30/09/06
Project: Research

Cite this

@article{34ade931012d48029c07e14f2a9e4f89,

title = "Two preservation results for countable products of sequential spaces",

abstract = "We prove two results for the sequential topology on countable products of sequential topological spaces. First we show that a countable product of topological quotients yields a quotient map between the product spaces. Then we show that the reflection from sequential spaces to its subcategory of monotone ω-convergence spaces preserves countable products. These results are motivated by applications to the modelling of computation on non-discrete spaces.",

author = "Matthias Schr{\"o}der and Alexander Simpson",

year = "2007",

doi = "10.1017/S0960129506005895",

language = "English",

volume = "17",

pages = "161--172",

journal = "Mathematical Structures in Computer Science",

issn = "1469-8072",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Two preservation results for countable products of sequential spaces

AU - Schröder, Matthias

AU - Simpson, Alexander

PY - 2007

Y1 - 2007

N2 - We prove two results for the sequential topology on countable products of sequential topological spaces. First we show that a countable product of topological quotients yields a quotient map between the product spaces. Then we show that the reflection from sequential spaces to its subcategory of monotone ω-convergence spaces preserves countable products. These results are motivated by applications to the modelling of computation on non-discrete spaces.

AB - We prove two results for the sequential topology on countable products of sequential topological spaces. First we show that a countable product of topological quotients yields a quotient map between the product spaces. Then we show that the reflection from sequential spaces to its subcategory of monotone ω-convergence spaces preserves countable products. These results are motivated by applications to the modelling of computation on non-discrete spaces.

U2 - 10.1017/S0960129506005895

DO - 10.1017/S0960129506005895

M3 - Article

SN - 1469-8072

VL - 17

SP - 161

EP - 172

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 1

ER -

Two preservation results for countable products of sequential spaces

Abstract

Access to Document

Fingerprint

Projects

Topological Models for Computational Metalanguages

Models and Axioms for the Semantics of Computation

Cite this