The Largest Topological Subcategory of Countably-based Equilogical Spaces

Matias Menni, Alex Simpson

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

There are two main approaches to obtaining ?topological? cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed ? for example, the category of sequential spaces. Under the other, one generalises the notion of space ? for example, to Scott's notion of equilogical space. In this paper we show that the two approaches are equivalent for a large class of objects. We first observe that the category of countably-based equilogical spaces has, in a precisely defined sense, a largest full subcategory that can be simultaneously viewed as a full subcategory of topological spaces. This category consists of certain ??-projecting? topological quotients of countably-based topological spaces, and contains, in particular, all countably-based spaces. We show that this category is cartesian closed with its structure inherited, on the one hand, from the category of sequential spaces, and, on the other, from the category of equilogical spaces.
Original languageEnglish
Pages (from-to)375 - 398
Number of pages24
JournalElectronic Notes in Theoretical Computer Science
Volume20
Issue number0
DOIs
Publication statusPublished - 1999

Fingerprint

Dive into the research topics of 'The Largest Topological Subcategory of Countably-based Equilogical Spaces'. Together they form a unique fingerprint.

Cite this