Skip to main content
SpringerLink
Log in

Topological objects in the category EQU

  • Published:
Siberian Advances in Mathematics Aims and scope Submit manuscript

Abstract

We give a criterion for equivalence between equilogical and topological spaces. This enables us to prove that some interesting categories of topological spaces are complete subcartesian closed subcategories of equilogical spaces.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. I. Battenfeld, M. Schröder, and A. Simpson, “Compactly generated domain theory,” Math. Struct. in Comput. Sci. 16(2), 141–161 (2006).

    Article  MATH  Google Scholar 

  2. B. J. Day and G. M. Kelly, “On topological quotients maps preserved by pullbacks or products,” Proc. Camb. Philos. Soc. 67, 553–558 (1970).

    Article  MATH  MathSciNet  Google Scholar 

  3. Yu. L. Ershov, “The theory of A-spaces,” Algebra i Logika 12(4), 369–416 (1973) [Algebra and Logic 12 (4), 209–232 (1973)].

    MathSciNet  Google Scholar 

  4. Yu. L. Ershov, “Theory of domains and nearby,” in Formal Methods in Programming and Their Applicatiions (Springer, Berlin, 1993), vol. 735 of Lecture Notes in Comput. Sci., pp. 1–7.

    Chapter  Google Scholar 

  5. Yu. L. Ershov, “The bounded-complete hull of an α-space,” Theor. Comp. Sci. 175(1), 3–13 (1997).

    Article  MATH  MathSciNet  Google Scholar 

  6. M. Escardo, J. Lawson, and A. Simpson, “Comparing cartesian closed categories of (core) compactly generated Spaces,” Topology and Appl. 143(1–3), 105–145 (2004).

    Article  MATH  MathSciNet  Google Scholar 

  7. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and Domains, in vol. 93 of Encyclopedia of Mathematics and Its Applications (Cambridge University Press, 2003).

  8. A. Jung, Cartesian Closed Categories of Domains, in vol. 66 of CWI Tracts (Stichting Math. Centrum Amsterdam, 1989).

  9. M. Menni and A. K. Simpson, “Topological and limit-space subcategories of countably-based equilogical spaces,” Math. Struct. in Comput. Sci. 12(6), 739–770 (2002).

    MATH  MathSciNet  Google Scholar 

  10. D. S. Scott, “Continuous lattices,” in Toposes, Algebraic Geometry and Logic (Springer, Berlin, 1972), vol. 274 of Lecture Notes in Math., pp. 97–136.

    Chapter  Google Scholar 

  11. D. S. Scott, A New Category?, Preprint (Carnegie Mellon University, 1998).

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia

    Yu. L. Ershov

Authors
  1. Yu. L. Ershov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yu. L. Ershov.

Additional information

Original Russian Text © Yu. L. Ershov, 2010, published in Siberian Electronic Mathematical Reports (http://semr.math.nsc.ru), 2010, Vol. 7, pp. 76–86.

About this article

Cite this article

Ershov, Y.L. Topological objects in the category EQU . Sib. Adv. Math. 20, 155–163 (2010). https://doi.org/10.3103/S1055134410030016

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S1055134410030016

Key words

Search

Navigation