Topological and limit-space subcategories of countably-based equilogical spaces

DOI10.1017/S0960129502003699zbMath1031.54002WikidataQ112120950 ScholiaQ112120950MaRDI QIDQ4405693

Alex K. Simpson, Matias Menni

Publication date: 24 February 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129502003699

zbMATH Keywords

topological space; Cartesian closed category; limit space; equilogical space

Mathematics Subject Classification ID

54A05: Topological spaces and generalizations (closure spaces, etc.)

54B30: Categorical methods in general topology

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

68Q99: Theory of computing

Related Items

A Natural Weak Limit Space with Admissible Representation which is not a Limit Space, A Relationship between Equilogical Spaces and Type Two Effectivity, On the Relationship between Filter Spaces and Weak Limit Spaces, Admissibly Represented Spaces and Qcb-Spaces, Limit spaces with approximations, Computability on random events and variables in a computable probability space, Comparing free algebras in topological and classical domain theory, Comparing Cartesian closed categories of (core) compactly generated spaces, A Convenient Category of Domains, Reducibility of domain representations and Cantor–Weihrauch domain representations