Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces

@article{Menni2002TopologicalAL,
  title={Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces},
  author={Mat{\'i}as Menni and Alex K. Simpson},
  journal={Mathematical Structures in Computer Science},
  year={2002},
  volume={12},
  pages={739-770}
}
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… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 29 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Spaces in which sequences suffice

S. P. Franklin
Fundamenta Mathematicae • 1965
View 4 Excerpts
Highly Influenced

Topology

M. Smyth
Handbook of Logic in Computer Science • 1992
View 3 Excerpts
Highly Influenced

On a topological topos

P. T. Johnstone
Proceedings of the London mathematical society • 1979
View 3 Excerpts
Highly Influenced

Topologie. Warsawa, 1952

C. Kuratowski
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics • 1952
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…