TY - JOUR

T1 - The Largest Topological Subcategory of Countably-based Equilogical Spaces

AU - Menni, Matias

AU - Simpson, Alex

N1 - <ce:title>MFPS XV, Mathematical Foundations of Progamming Semantics, Fifteenth Conference</ce:title>

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

U2 - 10.1016/S1571-0661(04)80084-7

DO - 10.1016/S1571-0661(04)80084-7

M3 - Article

VL - 20

SP - 375

EP - 398

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 0

ER -