Categories, types, and structures: an introduction to category theory for the working computer scientist
Handbook of logic in computer science (vol. 1)
Computable analysis: an introduction
Computable analysis: an introduction
Admissible Representations of Limit Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
A non-topological view of dcpos as convergence spaces
Theoretical Computer Science - Topology in computer science
Topological and limit-space subcategories of countably-based equilogical spaces
Mathematical Structures in Computer Science
Theoretical Computer Science - Mathematical foundations of programming semantics
A Convenient Category of Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable limit base are known to be the class of spaces which can be handled by the Type-2 Model of Effectivity (TTE). We prove that the category of countably based filter spaces is equivalent to the category of weak limit spaces with a countable limit base. As a consequence we obtain that filter spaces form yet another category from which the category QCB of quotients of countably based topological spaces inherits its cartesian closed structure.