Skip to main content
Springer Nature Link
Log in

Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

In this paper, the exponential is studied in the Cartesian closed category of all algebraic domains and all mappings which preserve directed suprema and the way-below relation. A problem presented by Zhongqiang Yang is partially solved.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E (eds.) Handbook of Logic in Computer Science, vol. 3, pp 1–168. Clarendon Press (1994)

  2. Berry, G.: Stable models of typed λ-calculi. Lect. Notes Comput. Sci. 62, 72–88 (1978)

    Article  Google Scholar 

  3. Chen, Y., Wu, H.: Domain semantics of possibility computations. Inf. Sci. 178, 2661–2679 (2008)

    Article  MATH  Google Scholar 

  4. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge Press, Cambridge (2002)

    Google Scholar 

  5. Gunter, G., Scott, D.S.: Semantic domains. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B. Elsevier Science, Amsterdam (1990)

    Google Scholar 

  6. Liu, N., Li, S.: Cartesian closed stable categories. Inform. Sci. 171, 173–187 (2006)

    Article  Google Scholar 

  7. Mislove, M.W.: Topology, domain theory and theoretical computer science. Topolology Appl. 89, 3–59 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  8. Plotkin, G.D.: A powerdomain construction. SIAM J.Comp. 5, 452–487 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Smyth, M.B.: The largest Cartesian closed category of domains. Theor. Comput. Sci. 27, 109–119 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  10. Yang, Z.: A Cartisan closed subcategory of CONT which contains all continuous Domains. Inf. Sci. 168, 1–7 (2004)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou, Jiangsu, China

    Xiaoyong Xi

  2. College of Computer Science, Shaanxi Normal University, Xi’an, 710062, China

    Yongming Li

Authors
  1. Xiaoyong Xi
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Yongming Li
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Xiaoyong Xi.

Additional information

Xiaoyong Xi is supported by: NSFC No. 11361028 and No. 61300153. Yongming Li is supported by: NSFC No. 12271237.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xi, X., Li, Y. Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains. Appl Categor Struct 23, 665–672 (2015). https://doi.org/10.1007/s10485-014-9378-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-014-9378-3

Keywords